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.
a bare list of references on T-duality in the K-theory classification of topological phases,
to be !include-ed into the References-subsections of these entries, for ease of synchronization
created microlinear space
One thing I might be mixed up above:
in the literature I have seen it seems to say that
$ X^D x_X X^D \simeq X^{D(2)}$
with
$ D(2) = { (x_1,x_2) \in R \times R | x_i x_j = 0} $.
But shouldn't it be
$ D(2)' = { (x_1,x_2) \in R \times R | x_i^2 = 0} $.
?
this is a bare list of references discussing the spin-statistics theorem for non-relativistic particles via their configuration space of points,
to be !include-ed into the References-sections of these entries, for ease of synchronization
stub for spin-statistics theorem. Just recording a first few references so far.
added missing pointer to
and pointer to:
starting a stand-alone Section-entry (to be !includeed as a section into D=11 supergravity and into D’Auria-Fré formulation of supergravity)
So far it contains lead-in and statement of the result, in mild but suggestive paraphrase of CDF91, §III.8.5.
I am going to spell out at least parts of the proof, with some attention to the prefactors.
I have added to BPS state and to wall crossing pointers to two introductory lecture notes
This is maybe mainly for entertainment. But don’t forget that for newcomers there is a real issue here which may well be worth explaining:
In mathematics it happens at times that one and the same concept is given two different names to indicate a specific perspective, a certain attitude as to what to do whith such objects.
Here are examples:
A quiver is just a directed graph (pseudograph, to be explicit). But one says quiver instead of directed graph when one is interested in studying quiver representations: functors from the free category on that graph to the category of finite-dimensional vector spaces.
A presheaf is just a contravariant functor. But one says presheaf instead of contravariant functor when one is interested in studying its sheafification, or even if one is just intersted in regarding the category of functors with its structure of a topos: the presheaf topos.
(…)
starting a category:reference-entry.
Just a single item so far, but this entry should incrementally grow as more preprints appear (similar to what we have been doing at Handbook of Quantum Gravity and similar entries).
I know that a soft deadline for submissions of at least one of the sections is this December, so I am guessing this is planned to appear in 2024.
Added reference
John Arte
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. ;-)
I am adding to the Lab further pointers here and there on Witten’s story . Added now to self-dual string a pointer to (Witten 95), which I suppose is the first observation of the self-dual string and its ADE classification.
added the statement (now this prop) that smooth manifolds with boundary are fully faithful in diffeological spaces, with pointer to Igresias-Zemmour 13, section 4.16.
Will add the same to diffeological space.
Inspired by the discussion at directed n-graph and finite category, added some examples and further explanation to computad.
Since the page geometry of physics – categories and toposes did not save anymore, due to rendering timeouts caused by its size, I have to decompose it, hereby, into sub-pages that are saved and then re-!included separately.
With our new announcement system this means, for better or worse, that I will now have to “announce” these subsections separately. Please bear with me.
did some substantial edits on this entry:
gave it more of an Idea-section,
tried to streamline the statement of the lemma
spelled out the proof,
added a discussion explaining how this is about irreps forming a (de-)categorified orthogonal/orthonormal linear basis of the representation ring.
gave representation theory a little Idea-section, then added some words on its incarnation as homotopy type theory in context/in the slice over and added the following homotopy type representation theory – table, which I am also including in other relevant entries:
a bare minimum, for the moment just so as to record this references:
Added a note on triangulability and smoothing to 3-manifold.
Added material about the Hantzsche-Wendt manifold on his website:
Also linked names and added arXiv code.