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.
started the trinity of entries
But not done yet. So far: the basic idea in words and a pointer in each entry to the corresponding section in Zeidler’s textbook.
added a bit of substance to functional calculus
Another meaning at operator, and the connection between them.
At homomorphism, an incorrect definition was given (at least for monoids, and this was falsely claimed to generalise to the definition of functor). So I fixed this, and in the process expanded it (spelling out the inadequacy of the traditional definition for monoids) and made several examples (made explicit in the text) into redirects.
I have created a stub type II string theory, because I needed the link. Hopefully at some point I find the time to write something substantial about the classification of critical 2d SCFTs. But not right now.
started sewing constraint
I have added to perturbation theory and to AQFT a list of literature on perturbative constructions of local nets of observables.
This is in reply to a question Todd was asking: while the rigorous construction of non-perturbative interacting QFTs in dimension is still open, there has at least been considerable progress in grasping the perturbation theory and renormalization theory known from standard QFT textbooks in the precise context of AQFT.
This is a noteworthy step: for decades AQFT had been suffering from the lack of examples and lack of connection to the standard (albeit non-rigorous) literature.
Remake of Street’s Gummersbach paper: Characterization of Bicategories of Stacks (zoranskoda).
Urs, while it is good that spectral theorem is included into functional analysis table of contents, and it has functional analysis toc bar, I do not like that spectral theory is also included and also has this toc bar. My understanding is that spectral theory is much wider subject on the relation between the possibly categorified and possibly noncommutative function spaces (sheaf categories, noncommutative analogues) and the specifical “singular” features of those like prime ideals, like certain special objects in abelian categories, points of spectra in operator framework etc. In any case, in POV, it is NOT a part of functional analysis, though some manifestations are. Like the concept of a space is not a subject of functional analysis, though some spaces are defined in the language of operator algebras. I find spectral theory on equal footing like space, “quantity” etc. Of course, the entry currently does not reflect this much (though it has a section on spectra in algebraic geometry), but it eventually will! Thus I will remove it from functional analysis contents.
One should also point out that using generators in the proof of Giraud’s reconstruction theorem of a site out of a topos is a variant of spectral idea: like points form certain spaces, so the generators of various kind generate or form a category. This is behind many spectral constructions (including recent Orlov’s spectrum which is very laconic but stems from that) and reconstruction theorems and if the category corresponds to coherent sheaves over a variety than often the geometric features of the variety give certain contributions to the spectrum.
Can someone look at Three Roles of Quantum Field Theory. There was an unsigned change there and a box that does not work. I do not know what was intended so will not try to fix it.
New entry Dmytro Shklyarov; he seems to be now in Augusburg. Lots of interesting recent work in several subfields of our interest. I did not know where to put his 2-representations paper into 2-vector space as the bibliography is scattered there with some classification of subtopics.
At Urs’ urging, I have created functional analysis - contents. It needs considerable extending; and I’ve yet to include it anywhere.
As hinted by the contents, I plan to move the diagram from TVS to its own page (but still include it on TVS).
Created entry Hall algebra with a list of references and links for now. Related name entries, Daniel Huybrechts, Bernhard Keller, and updates to Berntrand Toen (and for the heck, Bernhard Riemann), and to contributors to algebraic geometry.
I wrote about these at measurable space, following to reference to M.O answers by Dmitri Pavlov that were already being cited.
have a look into (the) future
I have split off E-infinity operad from little k-cubes operad (where it had been hiding well) and expanded a bit
(in reply to a question by John over on Azimuth)
I have added some new material to Boolean algebra and to ultrafilter. In the former, I coined the term ’unbiased Boolean algebra’ for the notion which describes Boolean algebras as equivalent to finite-product-preserving functors from the category of finite nonempty sets, and the term -biased Boolean algebra to refer to the multiplicity of ways in which Boolean algebras could be considered monadic over .
In ultrafilter, I added some material which gives a number of universal descriptions of the ultrafilter monad. This is in part inspired by some discussions I’m having with Tom Leinster, who remarked recently at the categories list that the ultrafilter monad could be described as a codensity monad. All this is related to the unbiased Boolean algebras and to the remarks due to Lawvere, which were described on an earlier revision; this material has been reworked.
created an entry (infinity,1)Toposes on the -catgeory (or -category) of all -toposes.
Also split off an entry (infinity,1)-geometric morphism
I have tried to make the page torsion look more like a disambiguation page and less like a mess. But only partially successful.
stub for quasi-state
stub for Wigner’s theorem
I have split off from smooth infinity-groupoid – structures the section on concrete objects, creating a new entry concrete smooth infinity-groupoid.
Right now there is
a proof that 0-truncated concrete smooth -groupoids are equivalent to diffeological spaces;
and an argument that 1-truncated concrete smooth -groupoids are equivalent to “diffeological groupoids”: groupoids internal to diffeological spaces.
That last one may require some polishing.
I am still not exactly sure where this is headed, in that: what the deep theorems about these objects should be. For the moment the statement just is: there is a way to say “diffeological groupoid” using just very ygeneral nonsense.
But I am experimenting on this subject with Dave Carchedi and I’ll play around in the entry to see what happens.
I thought about starting a floating toc for classifying objects and related, but then decided to subsume it into Yoneda lemma - contents. There I have now added the list of entries
and, conversely, included that toc into all these entries.
have split off the definition of umbrella category from subterminal object
since the link was requested somewhere, I have created a stub for n-topos
In convenient category of topological spaces, I rewrote a little under the section on counterexamples, and I added a number of examples and references. Some of this came about through a useful exchange with Alex Simpson at MO, here.
I got a question by email about the equivariant tubular neighbourhoods in loop spaces (as opposed to those defined using propagating flows so I figured it was time to nLabify that section of differential topology of mapping spaces. Of course, in so doing I figured out a generalisation: given a fibre bundle , everything compact, we consider smooth maps which are constant on fibres. This is a submanifold of the space of all smooth maps . Assuming we can put a suitable measure on the fibres of , then we can define a tubular neighbourhood of this submanifold.
Details at equivariant tubular neighbourhoods. Title may be a bit off now, but it’s that because the original case was for the fibre bundle with fibre .
This entry is also notable because I produced it using a whole new LaTeX-to-iTeX converter. Details on the relevant thread.
I added a reference to a paper of Connes and Rovelli (1994) and a link (in modular theory) to
where André Henriques asks about some Connes philosophy. But André quotes in explaining the background to his question, that in full generality there is a homomorphism from imaginary line into the 2-group of invertible bimodules of the given von Neumann algebra , which in the presence of state lifts to the homomorphism into . I learned just the case when there is a state, and am delighted to hear that this is just a strengthening of some categorical structure which exists even more generally. If somebody is familiar or can dig more on that general case, it would be nice to have such categorical picture in the Lab entry modular theory.
Specially good for usage and references in our foundational entries on quantum mechanics is that they have excellent online articles quantum logic and probability theory, quantum mechanics: Kochen-Specker theorem, quantum mechanics and quantum mechanics: von Neumann vs. Dirac.
Igor Bakovic created Diaconescu’s theorem
you may recall (okay, probably not ;-) what I once wrote in the entry on exterior differential systems: while in the classical literature these are thought of as dg-ideals in a de Rham complex, we should think of them as sub-Lie algebroids of tangent Lie algebroids.
Since exterior differential systems over X encode and are encoded by partial differential equations on functions on X, this means that such sub-Lie algebroids are partial differential equations.
This perspective is amplified much more in the literature on D-modules: I think we can think of a D-scheme as an infinite-order analog of a Lie algebroid, which is the corresponding first-order notion. The Jet-bundle with its D-scheme structure is the infinite-order analog of the tangent Lie algebroid.
And sub-D-schemes of Jet-D-schemes are partial differential equations, this is what everyone on D-geometry tells you first.
So I think there is a nice story here.
New entry affiliated operator of a -algebra aka affiliated element. This is important for the circle of entries on algebraic QFT, as the operator algebras are formed by bounded operators, while we typically need unbounded operators like derivative operator to do quantum mechanics.
I sent a version of that entry but the Lab stuck in the middle of the operation so I am not sure if I succeeded. So here is the copy:
Most of the applications of operator algebras stuck in the problem that (hermitean or not) unbounded operators do not form an algebra under composition (or under Jordan multiplication); while the algebras of bounded operators are insufficient as most of applications involve also unbounded operators like the partial derivative operator on which is proportional to the momentum operator in quantum mechanics.
The motivational problem is typically resolved by considering an operator algebra which contains operators which properly approximate the unbounded operators as close as one wishes, and formalize this by defining the larger class of “approximable” operators by means of operator algebra itself. One way to do this is to define the affiliated elements of -algebra, or the operators affiliated with the -algebra. The idea is that if there is an unbounded self-adjoint operator then we can consider its spectral projections; they are bounded and if we include them into the algebra, the convergence of the spectral decomposition will supply the approximation.
I was forced to split off the section on infinitesimal cohesion from the entry cohesive (infinity,1)-topos – because after I had expanded it a little more, the nLab server was completely refusing to safe the entry (instead of just being absurdly slow with doing so). I guessed that it is was its length that caused the software to choke on it, and it seems I was right. The split-off subsection is now here:
cohesive (infinity,1)-topos – infinitesimal cohesion
Things I have edited:
added a bried Idea-paragraph at the beginning;
changed the terminology from “-Lie algebroid” to “formally cohesive infinity-groupoid” , making the former a special case (first order) of the latter;
expanded the definition of formal smoothness, added remarks on formal unramifiedness in the -context.
I wanted to test something in the Sandbox (for this question of David Roberts on the TeX Stackexchange) and it was looking a bit cluttered so I gave it a clean-out.
I am about to create D-scheme, but currently the Lab is down and the server does not react to my login attempts…
I am starting a linked keyword list at Chiral Algebras
created Reference-entry for the new Quasi-Coherent Sheaves and Tannaka Duality Theorems and am adding pointers to it to the relevant entries now.
I am about to write something at jet bundle and elsewhere about the general abstract perspective.
In chapter 2 of Beilinson-Drinfeld’s Chiral Algebras they have the nice characterization of the Jet bundle functor as the right adjoint to the forgetful functor from D-schemes over to just schemes over .
Now, since D-modules on are quasicoherent modules on the de Rham space , I guess we can identify
with
and hence the forgetful functor above is the pullback functor
aling the lower canonical morphism (“constant infinitesimal path inclusion”).
This would mean that we have the following nice general abstract characterization of jet bundles:
let be a cohesive (infinity,1)-topos equipped with infinitesimal cohesion . For any we then have the canonical morphism .
The Jet bundle functor is then simply the corresponding base change geometric morphism
or rather, if we forget the -module structure on the coherent sheaves on the jet bundle, it is the comonad induced by that.
Does that way of saying it ring a bell with anyone?
on my personal web I have created an entry Cech cocycles for differential characteristic classes (schreiber).
This is a Reference-entry for the article that I wrote with Domenico and Jim. The point is to keep a hyperlinked abstract and a pdf of the article (which contains more than the current arXiv version).
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?