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.
This is a bare section to be !include
-ed into other relavant entries (notably Dp-D(p+2)-brane intersection and fuzzy funnel, but maybe also elsewhere). It contains one sub-section – and nothing else.
added pointer to discussion of coupling of the super 2-brane in 4d to D=4 N=1 super Yang-Mills theory:
a beginning at geometric Langlands correspondence
added a bit to framed manifold
Detection of the 21cm hydrogen absorption line expected in the CMB has been claimed now. Such a detection is thought to have implications for observational cosmology comparable in relevance to those of the recent gravitational wave detection. I have collected some original articles and reviews here in an otherwise empty entry hydrogen line
I have reorganised set theory and spun off material set theory.
I keep having the need to point to something like mass gap problem. So now I created a stub for it, just so that the links works. Has to be expanded, clearly.
brief category:people
-entry for hyperlinking references at flavour problem and flavour anomaly
brief category:people
-entry for hyperlinking references at flavour (particle physics) and at flavour anomaly
brief category:people
-entry for hyperlinking references at kaon and at flavour anomaly
Todd points out elsewhere that there is a problem with the following sentence in the section Smallness in the context of universes:
is essentially -small if there is a bijection from its set of morphisms to an element of (the same for the set of objects follows); this condition is non-evil.
(introduced in revision 11).
It looks to me that first of all this is not the right condition – the right condition must mention equivalence of categories to a U-small category.
Added the recent
I came to think that the term geometric type theory for the type theory internal toi sheaf toposes should exists. Thanks to Bas Spitter for pointing out that Steve Vickers had already had the same idea (now linked to at the above entry).
Also created geometric homotopy type theory in this vein, with some evident comments.
This is a base topic of my contribution. It introduces a new function that gives series whose coefficients are powers of fine structure constant. Furthermore each member represents natural physical interaction. It can be treated as natural physics that introduces natural particles.
May be I made a lot of mistakes. I will correct them.
created stub for 2-Lawvere theory
added a further quote from
interview with Mike Duff by Graham Fermelo, The universe speaks in numbers – Interview 14 (web):
(7:04) The problem we face is that we have a patchwork understanding of M-theory, like a quilt. We understand this corner and that corner, but what’s lacking is the overarching big picture. So directly or indirectly, my research hopes to explain what M-theory really is. We don’t know what it is.
In a certain sense, and this is not a popular statement, I think it’s premature to be asking: “What are the empirical consequences”, because it’s not yet in a mature enough state, where we can sensibly make falsifiable prediction.
entry with a bare list of references, to be !include
-ed into the References-list of related entries, such as membrane and M2-brane and Green-Schwarz sigma-model
this is a bare subsection, to be !include
-ed into relevant entries, such as BMN matrix model, M2-M5 brane bound state and maybe elsewhere
This relates to the thread Pro-finite su(2)-representations?
added the previously missing proposition (on equivalent characterizations) to essentially small (infinity,1)-category
I have completed the writeup of the proof of the cartesian closure of categories of presheaves: now this prop. (the argument that the evident formula for the internal hom really works had been missing)
just for completeness, to go along with Kronecker delta etc.
brief category:people
-entry for hyperlinking references at fuzzy 2-sphere and spectral triple
added the actual definition at multiple zeta values and added a paragraph relating to motivic multiple zeta values.
Also added to motives in physics a paragraph more explicitly mentioning the use of motivic multiple zeta functions for simplifying combinatorics of scattering amplitudes.
(prompted by this PO discussion)
added some words to proton decay. In particular I recorded the recent claims that there is a mechanism for realistic GUTs to avoid proton decay entirely, after all:
Andreas Mütter, Michael Ratz, Patrick K.S. Vaudrevange, Grand Unification without Proton Decay (arXiv:1606.02303)
Bartosz Fornal, Benjamin Grinstein, Unification without Proton Decay, Physics Review Letters (arXiv:1706.08535)
Added a similar remark to GUT in a new section Relation to proton decay.
this is a bare Examples-section, to be !include
-ed into the entries to which it pertains:
brief category:reference
-entry for hyperlinking
Mikhail Shifman (ed.)
The Many Faces of the Superworld
Yuri Golfand memorial volume
World Scientific, 2000
brief category:people
-entry for hyperlinking references at multi-trace operator
brief category:people
-entry for hyperlinking references at D=4 N=1 super Yang-Mills theory
created Theta category (made disk category a redirect).
In the "Idea" section I had the idea that the quickest way to define is as the full subcategory of strict n-catgeories on n-computads. Is that right? If not, something along these lines must be right.
brief category: people
-entry for hyperlinking references at homology of iterated loop spaces
(many more references to Dyer on the Lab are waiting to be hyperlinked by the energetic algebraic topologists contributing here…)
starting something, in order to record Theorem 4.2 in
But HELP: The article states this without proof. I understand how the discussion here and in the other articles now cited in the entry goes towards the proof, but I’d really like to see the actual proof written out. Eventually.