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.
finally splitting this off from chaotic inflation (which is dead)
brief category:people-entry for hyperlinking references at Starobisnky model of cosmic inflation and eternal inflation
created a stub for John Francis’ notion of factorization homology.
We didn’t have an entry direct sum of vector bundles/Whiney sum, did we? Now we do.
hyperlinked occurence of “effective quotient” to effective group action, and added cross-link back
I am moving the following old query box exchange from orbifold to here.
old query box discussion:
I am confused by this page. It starts out by boldly declaring that “An orbifold is a differentiable stack which may be presented by a proper étale Lie groupoid” but then it goes on to talk about the “traditional” definition. The traditional definition definitely does not view orbifolds as stacks. Neither does Moerdijk’s paper referenced below — there orbifolds form a 1-category.
Personally I am not completely convinced that orbifolds are differentiable stacks. Would it not be better to start out by saying that there is no consensus on what orbifolds “really are” and lay out three points of view: traditional, Moerdijk’s “orbifolds as groupoids” (called “modern” by Adem and Ruan in their book) and orbifolds as stacks?
Urs Schreiber: please, go ahead. It would be appreciated.
end of old query box discussion
At our workshop yesterday we heard Dominic Orchard speak about “Graded Modal Logic for Linear Dependent Type Theory”/ So I’ve started graded modality.
Now any connection to Licata-Shulman-Riley?
starting something here. For the moment this is just the list of references which I had previously recorded at RR-field tadpole cancellation, now joined by a quick Idea-sentence and a minimal statement of the actual cancellation condition
created Einstein manifold
(for the moment only to record the example of weak -manifolds…)
brief category:people-entry for hyperlinking references at quaternion-Kähler manifold
some minimum, just so to have a canonical place for linking references jointly from LHC and flavour anomaly
brief category:people-entry for hyperlinking references at p-adic string theory and Riemann zeta function
brief category:people-entry for hyperlinking references at p-adic string theory and Riemann zeta function
Edit to: GUT by Urs Schreiber at 2018-04-01 01:21:13 UTC.
Author comments:
added pointer to textbook account
added the plain traditional definition to J-homomorphism
I have re-written the content at differentiable manifold, trying to make it look a little nicer. Also gave topological manifold some minimum of content.
added a brief historical comment to Higgs field and added the historical references
I added a reference to globular set.
I am starting landscape of string theory vacua -- hah! :-)
started some minimum at weak gravity conjecture