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 categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-theory 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 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 sheaves simplicial space spin-geometry stable-homotopy-theory string string-theory 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).
    • Can someone with more access than I have do a search and replace for Phyics. I have changed two entries to Physics (which I assume is correct :-)) but as it is not an important typo and there are five or six other occurrences a block replace is probably easy to do.

    • I wanted to archive a pointer to Isbells Generic algebras somewhere on the nLab, and now did so in algebra over a monad. But it is sitting a bit lonesomely there now by itself in the References-section…

    • created a stub for normal operator and noticed/remembered that Tim van Beek had once created the beginning of an entry spectral theorem that he ended with an empty section on the version for normal operators. If we are lucky he will come back some day and complete this, but it looks like he won’t. Maybe somebody else feels inspired to work on this entry.

    • I have created an entry model structure on dg-modules in order to record some references and facts.

      I think using this I now have one version of the statement at derived critical locus (schreiber) that is fully precise. But I am still trying to see a better way. This is fiddly, because

      1. contrary to what one might expect, thre is not much at all in the literature on general properties homotopy limits/colimits in dg-geometry;

      2. and large parts of the standard toolset of homotopy theory of oo-algebras does not apply:

        • the fact that we are dealing with commutative dg-algebras makes all Schwede-Shipley theory not applicable,

        • the fact that we are dealing with oo-algebras in chain complexes makes all Berger-Moerdijk theory not apply;

        • and finally the fact that we are dealing with dg-algebras under another dg-algebra makes Hinich’s theory not apply!

      That doesn’t leave many tools to fall back to.

    • I have created an entry on Phil Ehlers since Stephen Gaito has kindly scanned Phil’s MSc Thesis from 1991. (Phil’s PhD thesis was already on the Lab. The MSc is also there now.)

    • I’ve started writing the notes of the talk I’ll be giving in Utrecht next week. They are here

    • added to multivector field further references on how the divergenc/BV operator is the dual of the de Rham differential.

      Domenico, could you tell me if you think that the following statement is correct?

      in full abstractness, the content of Lagrangian BV is this:


      • start with a configuration space of sorts

      • and assume we have a fixed isomorphism between its Hochschild cohomology and Hochshcild homology, which we think of as an iso between its differential forms and its multivector fields induced by a volume form (which it is for finite dimensional spaces);

      • then we think of an action functional times a volume form on our configuration space as a closed differential form exp(iS)vol\exp(i S) vol, hence as an element in the Hochschild homology that is also in the cyclic homology

      • and then use the above isomorphism to think of this equivalently an element in Hochschild cohomology, being a cocycle in cyclic cohomology.

      • the cyclic differential is the BV-operator and the closure condition is the “master equation” Δexp(iS)=0\Delta \exp(i S) = 0;

      • the fact that Lagrangian BV is controled by BV-algebra and hence, by Getzler’s theorem, by algebra over the homology of the little framed disk operad now follows from the fact that Hochschild homology of our space is given by the derived loop space.

      Is that right? Is that the NiceStoryAboutLagrangianBV™? If so, is this written out in this fashion explicitly somewhere?

    • I have added to variational calculus a definition of critical loci of functionals, hence a definition of Euler-Lagrange equations, in terms of diffeological spaces. It’s a very natural definition which is almost explicit in Patrick Iglesias-Zemmour’s book, only that he cannot make it fully explicit since the natural formulation involves the sheaf of forms Ω cl 1()\Omega^1_{cl}(-) which is not concrete and hence not considered in that book.

      I was hoping I would find in his book the proof that the critical locus of a function on a diffeological space defined this was coincides with the “EL-locus” – it certainly contains it, but maybe there is some discussion necessary to show that it is not any larger – but on second reading it seems to me that the book also only observes the inclusion.

    • This is a ’latest changes’, but for the Café rather than the backroom! Can David C (or someone) fix the link that does not work to Steve Awodey’s paper (It should be

    • have created an entry Khovanov homology, so far containing only some references and a little paragraph on the recent advances in identifying the corresponding TQFT. I have also posted this to the nnCafé here, hoping that others feel inspired to work on expanding this entry

    • I wanted to understand Milnor’s paper on Link Groups, so I basically rewrote the main bits in to Milnor mu-bar invariants. (I don’t understand the difference between μ\mu-invariants and μ¯\bar{\mu}-invariants, but I was only working on the original paper so presumably haven’t gotten that far yet.)

      I even put a TOC in so Urs will be happy!

    • I have just added a link to the notes that I prepared for the Lisbon meeting on my personal page. I would love to have some feedback, and in particular suggestions for incorporating some more of this in the nLab. The new material also forms part of the extended version of the Menagerie (which is now topping 800 pages.)

    • At string 2-group it is claimed that the sequence of classifying spaces ending --> BSO(n) --> BO(n) is the Whitehead tower of O(n). Also mentioned is the version for smooth infinity groupoids (so I assume it is Urs who put that there). It is certainly not true that the sequence of classifying spaces so stated is the Whitehead tower for O(n), but the details for groups considered as one-object infinity groupoids are open to interpretation, so I haven't changed anything. Just a heads up.

      -David Roberts
    • I have added a brief note about type-theoretic polymorphism to the list of impredicative axioms at predicative mathematics.

    • At effects of foundations on “real” mathematics I’ve put in the example of Fermat’s last theorem as being potentially derivable from PA, and pointed to two articles by McLarty on this topic.

      (Edit: the naive wikilink to the given page breaks, due to the ” ” pair)

    • You may or may not recall the observation, recorded at Lie group cohomology, that there is a natural map from the Segal-Blanc-Brylinski refinement of Lie group cohomology to the intrinsic cohomology of Lie groups when regarded as smooth infinity-groupoids.

      For a while i did not know how to see whether this natural map is an equivalence, as one would hope it is. The subtlety is that the Cech-formula that Brylinski gives for refined Lie group cohomology corresponds to making a degreewise cofibrant replacement of BG\mathbf{B}G in SmoothGrpdSmooth \infty Grpd and then taking the diagonal, and there is no reason that this diagonal is itself still cofibrant (and I don’t think it is). So while Segal-Brylinski Lie group cohomology is finer and less naive than naive Lie group cohomology, it wasn’t clear (to me) that it is fine enough and reproduces the “correct” cohomology.

      So one had to argue that for certain coefficients the degreewise cofibrant resolution in [CartSp op,sSet] proj,loc[CartSp^{op}, sSet]_{proj,loc} is already sufficient for computing the derived hom space. It was only yesterday that I realized that this is a corollary of the general result at function algebras on infinity-stacks once we embed smooth infinity-groupoid into synthetic differential infinity-groupoids.

      So I believe I have a proof now. I have written it out in synthetic differential infinity-groupoid in the section Cohomology and principal \infty-bundles.

    • in reply to Jim's question over on the blog, I was looking for a free spot on the nLab where I could write some general motivating remarks on the point of "derived geometry".

      I then noticed that the entry higher geometry had been effectively empty. So I wrote there now an "Idea"-section and then another section specifically devoted to the idea of derived geometry.

      (@Zoran: in similar previous cases we used to have a quarrel afterwards on to which extent Lurie's perspective incorporates or not other people's approaches. I tied to comment on that and make it clear as far as I understand it, but please feel free to add more of a different point of view.)

    • I hadd added a little bit of this and that to category of cobordisms earlier today in a prolonged coffee break.

      This was in reaction to learning about the work by Ayala, now referenced there, whou considers categories of cobordisms equipped with geometric structure given by morphisms into an \infty-stack \mathcal{F}.

    • A while back I had a discussion here with Domenico on how the framed cobordim (,n)(\infty,n)-category Bord n fr(X)Bord^{fr}_n(X) of cobordisns in a topological space XX should be essentially the free symmetric monoidal (,n)(\infty,n)-category on the fundamental \infty-groupoid of XX.

      This can be read as saying

      Every flat \infty-parallel transport of fully dualizable objects has a unique \infty-holonomy.


      Some helpful discussion with Chris Schommer-Pries tonight revealed that this is (unsurprisingly) already a special case of what Jacob Lurie proves. He proves it in more generality, which makes the statement easy to miss on casual reading. So I made it explicit now at cobordism hypothesis in the new section For cobordisms in a manifold.

    • At synthetic differential infinity-groupoid I have entered statement and detailed proof that flat and infinitesimally flat real coefficients are equivalent in SynthDiffGrpdSynthDiff\infty Grpd

      infB nB n. \mathbf{\flat}_{inf} \mathbf{B}^n \mathbb{R} \simeq \mathbf{\flat} \mathbf{B}^n \mathbb{R} \,.

      The proof proceeds by presentation of infB n\mathbf{\flat}_{inf} \mathbf{B}^n \mathbb{R} by essentially (a cofibrant resolution of) Anders Kocks’ s infinitesimal singular simplicial complex. In this presentation cohomology with coefficients in this object is manifestly computed as in de Rham space/Grothendieck descent-technology for oo-stacks.

      But we also have an intrinsic notion of de Rham cohomology in cohesive \infty-toposes, and the above implies that in degree n2n \geq 2 this coincides with the de Rham space presentation as well as the intrinsic real cohomoloy.

      All in all, this proves what Simpson-Teleman called the “de Rham theorem for \infty-stacks” in a note that is linked in the above entry. They consider a slightly different site of which I don’t know if it is cohesive, but apart from that their model category theoretic setup is pretty much exactly that which goes into the above proof. They don’t actually give a proof in this unpublished and sketchy note and they work (or at least speak) only in homotopy categories. But it’s all “morally the same”. For some value of “morally”.

    • A manifold has

      • a set of orientations;

      • an xyz of topological spin structures

      • a 3-groupoid of topological string structures;

      • a 7-groupoid of topological fivebrane stuctures, etc.

      and for some reason it is common in the literature (which of course is small in the last cases) to speak of these nn-groupoids, but not so common to speak of the xyz here:

      • A manifold has a groupoid of spin structures.

      Namely the homotopy fiber of the second Stiefel-Whitney class

      Spin(X)Top(X,BSO)(w 2) *Top(X,B 2 2). Spin(X) \to Top(X,B SO) \stackrel{(w_2)_*}{\to} Top(X, B^2 \mathbb{Z}_2) \,.

      I have added one reference that explicitly discusses the groupoid of spin structures to spin structure.

      Do you have further references?

    • I had created line Lie n-algebra, just for the sake of completeness and so that I know where to link to when I mention it

    • I have created an entry differential characteristic class.

      I felt need for this as the traditional term secondary characteristic class first of all has (as discussed there) quite a bit of variance in convention of meaning in the established literature, and secondly it is unfortunately undescriptive (which is probably the reason for the first problem, I guess!).

      Moreover, I felt the need for a place to discuss the concept “differential characteristic class” in the fully general abstract way in the spirit of our entry on cohomology, whereas “secondary characteristic class” has a certain association with concrete models. Some people use it almost synonymously with “Cheeger-Simons differential character”.

      Anyway, so I created a new entry. So far it contains just the “unrefined” definition. I’ll try to expand on it later,

    • I notice that the entry essential image is in a bad state:

      it starts out making two statements, the first of which is then doubted by Mike in a query box, the second doubted by Zoran in a query box.

      If there is really no agreement on what should go there, we should maybe better clear the entry, and discuss the matter here until we have a minimum of consensus.

      But I guess the problems can easily be dealt with and somebody should try to polish this entry right away.

    • I have taken this opportunity to update the references section at profunctor, based on recent emails from Marta Bunge and Jean Benabou.

      I have added a little detail to the comment at anafunctor that Kelly considered anafunctors without naming them, namely the paper and the year, and also a small concession to Jean Benabou who wanted it widely known that he recently discovered the equivalence between anafunctors and representable profunctors viz, naming him explicitly at the appropriate point of the discussion.

      (I do not want to drag the recent discussion held on and off the categories mailing list here - I just wanted to make the changes public)

    • I have renamed the entry formerly called (and still redirecting) “connection on a principal infinity-bundle” into connection on a smooth principal infinity-bundle.

      I will now start with bringing that entry into shape.

      In the same vein I have renamed the entry formerly titled (and still redirecting) “infinity-Chern-Weil theory” into Chern-Weil theory in Smooth∞Grpd.

      This way things are set up well for when the legions of students arrive who will do all the analogous discussion in other cohesive (,1)(\infty,1)-toposes such as AlgebraicGrpdAlgebraic \infty Grpd, ComplexAnalyticGrpdComplexAnalytic \infty Grpd as well as the derived version of all of these. ;-)

    • quick stub for volume form, as I need the link somewhere for completeness

    • I’ve decided that these shouldn’t exist (making me agree with the standard terminology) and explained why at regular cardinal.

    • Do we have a discussion anywhere that 2-limits in the (2,1)-category of categories as defined in the 2-category-literature do coincide with the coresponding limits computed inside the (,1)(\infty,1)-category of (,1)(\infty,1)-categories?

      I thought we had, but maybe we don’t. If not, I’ll try to add some discussion.

    • I split off (2,1)-algebraic theory of E-infinity algebras, but it’s still the same stubby context as before.

      (I will probably/hopefully fill in more details in two weeks, as preparation for one of the sessions of our derived geometry semninar)

    • we are lacking content in the entry topos theory.

      I added a one-line Idea and then expanded the list of references.

    • Added to 2-monad a remark about Power’s result that any monad on the underlying category of a strict 2-category with powers or copowers has at most one enrichment to a strict 2-monad.