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 definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 nforum 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).
    • stub to make the distinction between subcritical and supercritical strings, plus some references specifically on the latter. there are some references scattered on the nLab about non-critical (subcritical) strings that should be compiled here at some point.

      v1, current

    • Added some description to an otherwise barren page; will return to this to add and clean up more details.

      Ari Krishna

      diff, v2, current

    • Added another reference.

      I was chatting with Robin Cockett yesterday at SYCO1. In a talk Robin claims to be after

      The algebraic/categorical foundations for differential calculus and differential geometry.

      It would be good to see how this approach compares with differential cohesive HoTT.

      diff, v5, current

    • Changes made only to the Universal property of the 2-category of spans section. The citations by Urs lead to another citation which, in turn, leads to another citation. With a little effort, I tracked down the a full copy of said universal property, I’ve replicated it here, added the citation used, although I left the previous citations there for convenience; a more experienced editor can remove those if they would like.

      I would like to note that the author whose work I have referenced, Hermida, also notes: “[this universal property] is folklore although we know no references for it.”

      Please make any corrections needed and clean up the language here; this is a fairly direct copy of what is written, but I imagine somebody with more knowledge of all the language used here can rewrite this universal property stuff in a cleaner way.

      Thanks!

      Anonymous

      diff, v57, current

    • at quantum observable there used to be just the definition of geometric prequantum observables. I have added a tad more.

    • I have expanded the Idea-section at 3d quantum gravity and reorganized the remaining material slightly.

      I feel unsure about the pointer to “group field theory” in the References. Can anyone list results that have come out of group field theory that are relevant here?

      I find the following noteworthy, and I am not sure if this is widely appreciated:

      the original discussion of the quantization of 3d gravity by Witten in 1988 happens work out to be precisely along the lines that “loop quantum gravity” once set out to get to work in higher dimensions: one realizes

      1. that the configuration space is equivalently a space of connections;

      2. that these can be characterized by their parallel transport along paths in base space;

      3. that therefore observables of the theory are given by evaluating on choices of paths (an idea that goes by the unfortunate name “spin network”).

      All this is in Witten’s 1988 article. Of course the point there is that in the case of 3d this can actually be made to work. The reason is that in this case it is sufficient to restrict to flat connections and for these everything drastically simplifies: their parallel transport depends not on the actual paths but just on their homotopy class, rel boundary. Accordingly the “spin networks” reduce to evaluations on generators of the fundamental group, etc.

      Notice that in 4d the analog of this step that Witten easily performs in 3d was never carried out: instead, because it seemed to hard, the LQG literature always passes to a different system, where smooth connections are replaced by parallel transport that is required to be neigher smooth nor in fact continuous. These are called “generalized connections” in the LQG literature. Of course these have nothing much to do with Einstein-gravity: because there the configuration space does not contain such “generalized” fields.

      For these reasons I feel a bit uneasy when the entry refers to LQG or spin foams as “other approaches” to discuss 3d quantum gravity. First of all, the existing good discussion by Witten did realize the LQG idea already in that dimension, and it did it correctly. So in which sense are there “other approaches”?

      Which insights on 3d quantum gravity do “spin foam”s or does “group field theory”add? If anyone could list some results with concrete pointers to the literature, I’d be most grateful.

    • I have half-heartedly started adding something to Kac-Moody algebra. Mostly refrences so far. But I don’t have the time right now to do any more.

    • some minimum, for the moment just to state the evaluation formula for the plain quadratic Gauss sum

      v1, current

    • starting page on equivalence extensionality

      Anonymous

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • bare minimum of an Idea-section, for the moment just so as to make links work

      v1, current

    • Unfortunately, there are two entries on the same topic, both created by Urs: quantum Hall effect (redirecting also fractional quantum Hall effect what should eventually split off) with some substance, and the microstub quantum hall effect. I would like to create quantum spin Hall effect and I think I should rename/reclaim the stub quantum hall effect for this. Do others agree ? Urs ?

      As the action is now delayed I record here the reference which I wanted to put there

      • B. Andrei Bernevig, Taylor L. Hughes, Shou-Cheng Zhang, Quantum spin Hall rffect and topological phase transition in HgTe quantum wells, Science 15 December 2006: 314, n. 5806, pp. 1757-1761 doi

      Somewhat surprisingly, the authors and roughly this work of them are mentioned (though not in the list of references) in a paper in algebraic geometry

      which considers the mirror symmetry and topological states of matters (topological insulators in particular) as main applications.

    • started some minimum at exceptional field theory (the formulation of 11d supergravity that makes the exceptional U-duality symmetry manifest)

    • just for completeness and ease of hyperlinking

      v1, current

    • brief category:people-entry for hyperlinks references

      v1, current

    • I edited Trimble n-category:

      • added table of contents

      • added hyperlinks

      • moved the query boxes that seemed to contain closed discussion to the bottom. I kept the query box where I ask for a section about category theory for Trimble n-categories, but maybe we want to remove that, too. Todd has more on this on his personal web.

    • I was wondering what this term meant, so thought I’d start this.

      v1, current

    • I added more info on pseudo double categories and double bicategories to double category. I also simplified the picture of a square, which had been bristling with scary unnecessary detail. There's a slight blemish in the left vertical arrow, which I can't see how to fix.
    • brief category:people-entry for hyperlinking references

      v1, current

    • a stub entry, for the moment just to make the link work

      v1, current

    • I am taking the liberty of creating a category: reference-entry in order to have a way to hyperlink references to our new research center here in NYUAD, which is slowly but surely entering into tangible existence.

      v1, current

    • 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?

    • I created Galois module. I also added further references to p-divisible group; in particular section 4.2 of Lurie’s survey of elliptic cohomology gives some generalization of the classical theory. I started also a page with -the somehow unfortunate- title relations of certain classes of group schemes- I intended it to give an overview and examples of the basic kinds of group schemes occurring in classical (algebraic) number theory (the page contains more or less two specific examples; so there is still development potential).

    • added pointer to:

      • Interview of Mikhail Shifman by David Zierler on July 7, 2021, Niels Bohr Library & Archives, American Institute of Physics, College Park, MD USA [aip:oral-histories/47523]

      diff, v9, current

    • I have created the entry recollement. Adjointness, cohesiveness etc. lovers should be interested.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Update url for generalized species paper

      Vikraman Choudhury

      diff, v31, current

    • I corrected an apparent typo:

      A 2-monad TT as above is lax-idempotent if and only if for any TT-algebra a:TAAa \colon T A \to A there is a 2-cell θ a:1ηa\theta_a \colon 1 \Rightarrow \eta \circ a

      to

      A 2-monad TT as above is lax-idempotent if and only if for any TT-algebra a:TAAa \colon T A \to A there is a 2-cell θ a:1η Aa\theta_a \colon 1 \Rightarrow \eta_A \circ a

      It might be nice to say η A\eta_A is the unit of the algebra….

      diff, v22, current

    • a bare minimum, for the time being mainly in order to record a couple of reviews

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • Added a recent reference on Peirce’s Gamma graphs for modal logic. This describes his first approach via broken cuts rather than the later tinctured sheet approach. I keep meaning to see if there’s anything in the latter close to LSR 2-category of modes approach.

      According to the broken-cut method, possibility is broken cut surrounding solid cut, while necessity is solid cut surrounding broken cut. Since solid cut is negation, broken cut signifies not-necessarily. Easy to see ¬=¬\Box \neg = \neg \lozenge as the same pattern of three cuts, etc.

      In the Alpha case, we’re to think of negated propositions as though written elsewhere on another sheet (or the back of the sheet). There seems to be a three-dimensionality to the graphs, e.g., the conditional as like a tube from one sheet to another, Wikipedia. I gather his later ideas on tinctured graphs had this idea of being inscribed on different sheets.

      diff, v19, current

    • Added definition of Tambara-Yamagami (TY) fusion category, the simplest example of non-invertible symmetries in the 2d defect language.

      v1, current

    • added also the complementary cartoon for D-branes in string perturbation theory (the usual picture)

      diff, v48, current

    • Added a few additional descriptions of 1\Box_{\leq 1}, which is the same as Δ 1\Delta_{\leq 1}.

      diff, v18, current

    • in analogy to what I just did at classical mechanics, I have now added some basic but central content to quantum mechanics:

      • Quantum mechanical systems

      • States and observables

      • Spaces of states

      • Flows and time evolution

      Still incomplete and rough. But I have to quit now.

    • I added more to idempotent monad, in particular fixing a mistake that had been on there a long time (on the associated idempotent monad). I had wanted to give an example that addresses Mike’s query box at the bottom, but before going further, I wanted to track down the reference of Joyal-Tierney, or perhaps have someone like Zoran fill in some material on classical descent theory for commutative algebras (he wrote an MO answer about this once) to illustrate the associated idempotent monad.

      Some of this (condition 2 in the proposition in the section on algebras) was written as a preparatory step for a to-be-written nLab article on Day’s reflection theorem for symmetric monoidal closed categories, which came up in email with Harry and Ross Street.

    • Create a stub for this concept.

      v1, current

    • I gave root of unity its own entry (it used to redirect to root), copied over the paragraph on properties of roots of unities in fields, and added a paragraph on the arithmetic geometry description via μ n=Spec([t](t n1))\mu_n = Spec(\mathbb{Z}[t](t^n-1)) and across-pointer with Kummer sequence.

    • brief category:people-entry for hyperlinking references

      v1, current

    • brief category:people-entry for hyperlinking references

      v1, current

    • the standard bar complex of a bimodule in homological algebra is a special case of the bar construction of an algebra over a monad. I have added that as an example to bar construction.

      I also added the crucial remark (taken from Ginzburg’s lecture notes) that this is where the term “bar” originates from in the first place: the original authors used to write the elements in the bar complex using a notaiton with lots of vertical bars (!).

      (That’s a bad undescriptive choice of terminoiogy. But still not as bad as calling something a “triple”. So we have no reason to complain. ;-)