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.
Created basic outline with some important connections. Yang-Mills measure, after all the main concept which makes this special case interesting, and references will be added later.
Edit: Crosslinked D=2 Yang-Mills theory on related pages: D=2 QCD, D=4 Yang-Mills theory, D=5 Yang-Mills theory.
I just see that in this entry it said
Classically, 1 was also counted as a prime number, …
If this is really true, it would be good to see a historic reference. But I’d rather the entry wouldn’t push this, since it seems misguided and, judging from web discussion one sees, is a tar pit for laymen to fall into.
The sentence continued with
… the number 1 is too prime to be prime.
and that does seem like a nice point to make. So I have edited the entry to now read as follows, but please everyone feel invited to have a go at it:
A prime number is a natural number which cannot be written as a product of two smaller numbers, hence a natural number greater than 1, which is divisible only by 1 and by itself.
This means that every natural number is, up to re-ordering of factors, uniquely expressed as a product of a tuple of prime numbers:
This is called the prime factorization of .
Notice that while the number is, clearly, only divisible by one and by itself, hence might look like it deserves to be counted as a prime number, too, this would break the uniqueness of this prime factorization. In view of the general phenomenon in classifications in mathematics of objects being too simple to be simple one might say that 1 is “too prime to be prime”.
added pointer to:
Creating a stand-along entry for this, so that one can link to it.
We used to have (and still have, of course) a subsection of that title “Internal direct sum” here at direct sum.
I have copied that material over, but pre-fixed it by the form of the definition usually found in algebra texts.
Created basic outline with some important connections. (Anti) self-dual Yang-Mills equaions, after all the main concept which makes this special case interesting, and references will be added later.
Edit: Crosslinked D=4 Yang-Mills theory on related pages: D=2 QCD, D=2 Yang-Mills theory, D=5 Yang-Mills theory, D=4 N=1 super Yang-Mills theory, D=4 N=2 super Yang-Mills theory, D=4 N=4 super Yang-Mills theory, topologically twisted D=4 super Yang-Mills theory, self-dual Yang-Mills theory.
New entry history of mathematics and a couple of minor changes at philosophy.
created at internal logic an Examples-subsection and spelled out at Internal logic in Set how by turning the abstract-nonsense crank on the topos Set, one does reproduce the standard logic.
a bare minimum, for the moment mainly in order to mention the relation to super-Riemann normal coordinates
added these two pointers:
Karen Uhlenbeck, notes by Laura Fredrickson, Equations of Gauge Theory, lecture at Temple University, 2012 (pdf)
Simon Donaldson, Mathematical uses of gauge theory (pdf)
(if anyone has the date or other data for the second one, let’s add it)
added to Donaldson theory a pointer back to Lagrangian correspondences and category-valued TFT
Added
P.S. erased later, the reference is not directly appropriate for this entry.
I am working on an entry cohesive homotopy type theory.
This started out as material split off from cohesive (infinity,1)-topos, but is expanding now.
Created new article with papers introducing the Kronheimer-Mrowka basic classes.
Created new article for Kronheimer-Mrowka basic classes. (The german Wikipedia entry is now also available.)
Added writings, in which he proved Donaldson’s theorem.
stub for intersection pairing
Created new article for Donaldson’s theorem. (The german Wikipedia entry is now also available.)
added pointer to:
added pointer to:
Eugene P. Wigner Gruppentheorie und ihre Anwendung auf die Quantenmechanik der Atomspektren, Springer (1931) [doi:10.1007/978-3-663-02555-9, pdf]
Eugene P. Wigner, Group theory: And its application to the quantum mechanics of atomic spectra, 5, Academic Press (1959) [doi:978-0-12-750550-3]
In the process of beginning to compile a list of central theorems in topology, on top of the list of basic facts in topology that I had been compiling the last days (of course there is some remaining ambiguity in which of these two lists to place a given item) I have created a stub for Jordan curve theorem.
wrote Maurer-Cartan form
the first part is the standard story, but I chose a presentation which I find more insightful than the standard symbol chains as on Wikipedia.
then there is a section on Maurer-Cartan forms on oo-Lie groups and how that reduces to the standard story for ordinary Lie groups.
The detailed statements and proofs of this second part are at Lie infinity-groupoid in the new section The canonical form on a Lie oo-group that is just a Lie group.
I changed back the name of the page to coherent state. Though it is usually considered in quantum mechanics, and the name is still correct, as a specialist in the area of coherent states, I have almost never seen the phrase “coherent quantum state” written out in mathematical physics, so I would prefer to have this long unusual name as a redirect only. Of course, we often talk about the coherence of quantum states. But this is about a general feature of coherence, like in optics. The specific states in mathematical physics which, among other features, have such coherence properties are usually called squeezed coherent states, and the coherent states of these entry are even more specific than those. I am about to add a couple of new references, so I came across the page again.
tried to bring the entry Lie group a bit into shape: added plenty of sections and cross links to other nLab material. But there is still much that deserves to be done.
created stub for Gerstenhaber algebra
started Bruhat decomposition, so far just the plain definition
the same paragraph I also included at Schubert calculus
Expanding slightly this entry and also Cohen-Macauley ring.
a bare list of references, to be !include
-ed into the References-section of relevant entries (such as AdS/CFT correspondence, super p-brane sigma moel, black brane and superconformal multiplet) for ease of synchronization.
(These are mostly references that I had long kept at the first two of these entries. But now that I added a couple more, it’s good time to clean this up with a single !include
-entry.)
Created a stub with some references for geometrodynamics.
stub for black brane
a bare list of references, to be !include
-ed into the References-section of relevant entries (such as at black brane and Kerr-Newman black hole), for ease of synchronizing
added pointer to:
I’m interested in editing Mac Lane’s proof of the coherence theorem for monoidal categories, as I recently went through all the gory details myself and wrote it up. I was wondering if anybody has any thoughts on what should be left alone with regard to any future changes. Many people clearly put in a lot of work into the page, but it looks like people got busy and it hasn’t been updated in a while.
I think the first few paragraphs are fine, but I think the rest is a bit wordy, it could be more formal, and notation could be changed (very slightly) to be less clunky. I specifically want to make the current document more formal (e.g., saying “Definition: blah blah”), include some nice diagrams, change the notation (e.g., to avoid using double primes, to avoid denoting a monoidal category as B since I think the letter M pedagogically makes more sense), and complete the incomplete entries at the bottom. I’m not really sure if anyone would be against such changes, hence my inquiry.
created traced monoidal category with a bare minimum
I would have sworn that we already had an entry on that, but it seems we didn’t. If I somehow missed it , let me know and we need to fix things then.
promted by the creation of quadratic function I have added, under “Related concepts”: