Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
for completeness I think there is a point in having an entry discrete infinity-groupoid. So I have created it.
(We already had discrete group with the same purpose.)
I am starting an entry twisted differential c-structures. This is supposed to eventually contain the general statements of which statements in the following entries are special cases:
I am starting an entry differential T-duality. This is supposed to eventually contain the technical details that are currently hidden in th Reference-entry T-Duality and Differential K-Theory
stub for Wasserstein metric
started a Reference entry FHT theorem with a brief rough statement of what the theorem says. For the moment mainly in order to include pointers to where in the three articles the theorem is actually hidden (I think it is hidden quite well… ;-)
I am hereby moving the following discussion from information geometry to here:
Tim Porter: I have looked briefly at the Methods of Info Geom book and it seemed to me to be distantly related to what the eminent statistician David Kendall used to do. He and some coauthors wrote a very nice book called: Shape and Shape Theory (nothing to do with Borsuk’s Shape Theory). The theory may be of relevance as it used differential geometric techniques. (Incidently there are some nice questions concerning the space of configurations of various types that would be a good source for student project work in it.)
My query is whether the link is a strong one between the Amari stuff and those Kendall Shape space calculations. Kendall’s theory and some similar work by Bookstein is widely used in identifcation algorithms using a feature space. In case the link is only faint I will leave it at that for the moment. Any thoughts anyone?
Eric: I wrote some stuff here, which is now relegated to Revision 5. I’ve rewritten most of the material here.
Igor Khavkine is starting an entry reductions deformations resolutions in physics
this is based on seminar notes for talks that he is currently giving
New entry coexponential map, redirecting symmetrization map. It accompanies today’s entry hyper-envelope of a Lie algebra which hopefully precedes my writing up of a proof of alternative realizations of the hyper-envelope.
stub for Landau-Ginzburg model
I have started a stub localization of an abelian category. Added a list of related terms at topologizing subcategory.
started coisotropic submanifold
started a stub for algebra spectrum
On the basis of wikilinking everything, I discovered that orthogonal structure didn’t exist, so I created it. Being me, I gave it my infinite dimensional slant. Clearly there’s lots that could be said here, so it’s a middling stub.
First stab at propagating flows (highly tempted to put in a redirect for propogating flows). I wrote it without reference to either my article or Veroniques’ in the hope that by being forced to look at it afresh, I’d get the argument right. I’m not convinced that I managed it so I’ll need to polish it considerably.
Article page (unfinished but already has a sensible story) Reconstruction of Groups.
created TOC mapping space - contents and added it as “floating TOC” to relevant entries.
Andrew, please check which of your entires on mapping spaces are still missing, if any. What’s the status of your project differential topology of mapping spaces?
stubby stub for Whitney C-k topology
I have added reference pointers to Moritz Groth’s document on “Derivators, pointed derivators and stable derivators” to the relevant entries, such as stable derivator.
Mike, I forget if you mentioned that before or not. I only learned of his work today. Part of his PhD thesis with Schwede.
I badly need to polish the Lab entries related to path integrals. Today a student asked me how the pull-push operation in string topology is a remnant of a quantum path integral. So a started writing now
So far there is the description of the archetypical path integral for the quantum particle propagating on the line in terms of pull-tensor-push.
I moving the following old discussion from dg-algebra to here:
A previous version of this entry gave rise to the following discussion
+–{.query} Zoran, why would you not say that this is ’following the product rule from ordinary calculus’, as I wrote? Not that this can be proved like the product rule can, but it's an easy mnemonic (and a similar one works for direct sums too). —Toby
I find it very confusing for me at least. The Leibniz rule is about the coproduct in a single algebra; here one has several algebras with different differentials, not a single derivative operators, and not acting on a tensor square of a single algebra, so it is a bit far. If then I would be happy, but otherwise it is too general. —Zoran
You mean that if , then the Leibniz rule is a special case of this? Then surely it is also a special case of the more general case without ? Anyway, I think that it's more an example of categorification than generalisation. —Toby
For some special algebras this is true. For example, the dual of symmetric algebra as a Hopf algebra can be identified with the infinite order formal differential operators with constant coefficients (the isomorphism is given by evaluation at zero). Thus the Leibniz rule for derivatives is indeed the dual coproduct to the product on the symmetric algebras. There are braided etc. generalizations to this, and a version for computing the coproduct on a dual of enveloping algebras. In physics the addition of momenta and angular momenta for multiparticle systems is exactly coming from this kind of coproduct. But in all these cases the operators whose product you are taking live in a representation of a single algebra. — Zoran
=–
I am creating a reference-entry T-Duality and Differential K-Theory. In the course of this I have now first of all created stubs for
added keyword-indexed references to the entry on Constantin Teleman
just for completeness I have split off an entry geometric realization of cohesive infinity-groupoids, such as to complete a mini-sub-toc:
started an entry homological quantum field theory
A coupld additions to measurable space that I've been sitting on for a while, and which I've realised that I'm not going to write more clearly anytime soon.
But someday I would like to move a lot of the discussion about various approaches to measure theory and make measurable space itself simpler, with pointers to variations.
created Goldman bracket
New entry spectral cookbook with sketch of some very nice constructions of A. Rosenberg. New stub sheaf on a noncommutative space, pretty contentless so far, and a redirect page noncommutative sheaf, where the latter may have a different meaning (that is why a separate page).
I have removed this sentence from AnonymousCoward:
(Well, usually. Urs Schreiber —or for all we know, possibly somebody impersonating him (^_^)— has managed to keep his IP address out sometimes.)
This makes it sound as if I did something intentionally to hide my IP, which is not the case. Rather there must be a problem with the software, if something that should not have happened did happen.
I have also removed the following old discussion, which is better had here on the forum:
Eric: Can we change this? I am not anonymous, but I also do not want my IP listed (since it resolves to my employer, which I think should be private.) I guess I can always just not post from work, but small distractions now and then are nice.
Toby: IP addresses are almost always logged by web software, even for readers; in the past, these logs were usually deleted after a while, but now storage space is so cheap that this may no longer be true. People like to have the IP address available in case of problems —spam, DoS attacks, etc—. I like having that sort of information publicly available, rather than tucked into logs that are hidden behind passwords, to prevent the devlopment of hierarchies.
But if you want to be anonymous on the web, try searching for ’web proxy’ or the like. However, Jacques's software makes a fair attempt to defeat these, since they are often used to spam. (Even in general, I don't know how well they work, and ultimately they become the people with the secret information.)
Toby: I see that Urs managed to post from ’from bogus address’ today (June 27). Maybe we should ask him what he did differently!
Eric: I don’t mind if administrators can see my IP for security reasons, but it is not clear what purpose it serves to actually display it publicly for all to see. For example, I can see the IP addresses of people who comment on my blog, but it is not displayed for everyone to see.
Toby: That creates a hierarchy (of information if not power, but one leads to the other) where administrators are above everybody else. The wiki way gives the same information to everybody.
New stub copyright both about copyright attitude of the Community and as a place to collect links to interesting analysis of copyright, free literature, protection from plagiarism and similar issues. It also links to citations (zoranskoda).
I created a page emptypage. It would belong to meta category of pages but I do not want to attach even that label to it. I want it empty, I want it orphane, non-aliased and non-classified, truly minimal content and minimal sourcecode page.
With one click of the mouse I call the label of nlab:HomePage in my bookmarks bar, and then I change the URL by hand or go from HomePage to one of the links or use the search from there. If I am on slow connection, sometimes even HomePage loads longer. I think that some other users can smartly use the initial page like that. HomePage has information for newcomers, experienced users can sometimes prefer emptypage as their cleaner and leaner Lab homepage.
So emptypage is a quick way to see that the lab is up with a minimal length page and to get the basis for Lab search window or to change the URL without the cost of the HomePage load and HomePage html display time. Now with HomePage having also an additional Terms of usage section it grown today another bit more, so a reason more to create emptypage and to hopefully leave it empty.
I use emptypage to have it easier to type than empty page.
I hope other people won’t find it offending that I created a lean-expert-user depart point without consulting others, but I think it has obvious usages for some and it is not on the way to others, I hope.
I’ve been thinking a lot about degeneration of Hodge to de Rham spectral sequence lately. I checked out the page on the nlab about it. I saw that there was a link to Cartier operator but no page, so I created it.
This actually got me thinking. In some sense degeneration at is “intrinsic” to the derived category (I just made that up based on what I wrote in the article). There is a naive way to try to prove that if and are derived equivalent and if the SS degenerates for one, the other should too. I couldn’t see a way to make it work. Is there an obvious reason this should be true, or an obvious counterexample?
New stubs noncommutative projective geometry and Michael Artin.
An anonymous correspondent has put a question on lax functor, or rather has edited a previous query.
have split off geometric surjection/embedding factorization from the relevant entries. Maybe I find the time to spell out the proof there.
stub for B-bordism – just to record the Manifold Atlas-reference for the moment
stub for differential orientation
stub for fundamental class
As supplementary entries for sigme model I have created
New entry defining ideal of topologizing subcategory (of an abelian category), wanted at conormal bundle. It is in fact a subfunctor of the identity functor and if we evaluate it on projective generator in the case of a module category then we get the usual ideal in the corresponding ring.
created geometric transformation, just for completeness.
split of differential function complex from differential cohomology and starzed expanding it. But not done yet.
created reference-entry Three Roles of Quantum Field Theory
since I needed the link to exist, I have created a stub for Morita morphism (of Lie groupoid)s. Made Hilsum-Skandalis morphism redirect to it, for the moment.
Affinity in the context of D-modules, as defined by Alexander Beilinson is the subject of a new stub D-affinity. There is a categorical generalization in the MPI1996-53 preprint (pdf) of Lunts and Rosenberg in terms of differential monads. Many generalizations of Beilinson-Bernstein localization theorem have their intuitive explanation in a two-step reasoning. First the noncommutative algebra in question is understood as a noncommutative (or maybe categorical) resolution of singularities of a commutative object. Then the latter satisfies D-affinity and one can localize.
New entry domain globalization of functors (zoranskoda) under development. The codomain globalization is more trivial. This are questions of extending the constructions related to Beck’s comonadicity from categories to functors. Our interest with Gabi Bohm are mainly for covers by localizations with some equivariance/compatibility with respect to additional (co)monad, which are a matter of ongoing work. This compatibility is like, or some dual of the one in the definition of morphisms of Q-categories and also the compatibility of differential monads and localization, studied by Lunts and Rosenberg. The latter is related to the classical fact that the assignment of ring of regular differential operators to a commutative ring is compatible with exact localizations, in the sense that ; and also to Beilinson’s notion of D-affinity.
created Noether’s theorem – no-nonsense version
I have created stubs for the missing entries to complete this table:
The main actual content I added are, (at 2-type theory and 2-logic): pointers to Dan Licata’s thesis and to Mike’s personal wiki pages.
I’d hope that one outcome of the present Café discussion is that eventually some of these entries get equipped with some useful content.
(P.S. I would have linked to material by Mike Stay, too, but I don’t know what to link to.)
I am about to create an entry called locally algebra-ed topos in the spirit of the section for local algebras at classifying topos.
I tend to think this terminology is better than the undescriptive “structured topos”, but please let me know what you think.
I would like to amplify the following fact:
if we agree to say (which is reasonable) that
an algebra is a model of some essentially algebraic theory, hence a lex functor out of a finite-limite category;
a local algebra with respect to a coverage on the category is such a lex functor that preserves covers.
then the statement is:
I have started a new subject complex variational calculus - contents and have included it as a floating TOC into relevant entries
stub for charge
I started an important entry differential monad. According to Lunts-Rosenberg MPI 1996-53 pdf differential calculus on schemes and noncommutative schemes can be derived from the yoga of coreflective topologizing subcategories in the abelian category of quasicoherent sheaves on the scheme, like the -filtration, and -part, in the case when the topologizing subcategory is the diagonal in the sense of the smallest subcategory of the category of additive endofunctors having right adjoint which contains the identity functor – in that case we say differential filtration and differential part. The regular differential operators are the elements of the differential part of the bimodule of endomorphisms. Similarly, one can define the conormal bundle etc.
I’ve disambiguated links to cartesian category. I suggest that we avoid this term.
stub for coherent (infinity,1)-operad
Created a stubby entry for Gereon Quick, and added some more into (or fixed typos on) Daniel Isaksen, Cech homotopy,profinite homotopy theory and pro-homotopy theory.
I created an entry for Jonathan Pridham.
have added to monoidal (infinity,1)-category the definition of -monoidal -category, for an -operad
(though maybe this definition either deserves its own entry or ought to be included instead at symmetric monoidal (infnity,1)-category)
A point of information. These constructions are due to Charles Wells in this particular setting and to Jonathan Leech, (H-coextensions of monoids, vol. 1, Mem. Amer. Math. Soc, no. 157, American Mathematical Society, 1975) in the single object case, and McLane introduces the category of factorisations I think. Charlie Wells even pushes things a bit further than Baues. Hans does not seem to have known of that work. (Charles Wells, Extension theories for categories (preliminary report), (available from http://www.cwru.edu/artsci/math/wells/pub/pdf/catext.pdf), 1979. ) I have been meaning to have a go at this entry as I have written up a modern version of Wells especially in the non-Abelian case. There is a very nice interpretation of Natural System as a lax functor. (I will do this some time…. but I can make the notes available to anyone interested.)
New entry characteristic class of a structure to complement characteristic class and historical note on characteristic classes. I did not link to it from outside so far.