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.
For the discussion at Higgs field I created a category:people entry for Philip Gibbs, who was about the first to discuss the Higgs detection at LHC.
There has been much attention in the nlab on groupoid cardinality of Leinster/Berger and Euler characteristics of a category of Leinster; and Baez's work with collaborators on groupoidification and his earlier talks and posts on cardinality. Urs noticed that it fits with Freed's ideas on Feynman path integrals and came up with Freed-Schreiber-Ulm "kantization" formulas. While this works well for some finite and TQFT situations, I would like to know what happens in general. Tom and Simon Willerton have been doing infinite extensions to metric spaces and heat-kernel like expressions were important there. This reminded me of the equivariant localization formulas of Atiyah-Bott, Duisterman-Heckmann, Witten and others which are used in a number of situations but also computing the first term in heat-like expansions for Feyman integrals. In nice examples, like WZNW model, TQFTs, Chern-Simons, the semiclassical expressions give exact result. That is why the "kantization" in its present version gievs a good result. But we should go beyond. Thus we should understand similar expansions from nPOV. So I started creating some elementary background entries (for a while) like semiclassical approximation and now something closer to topologically oriented people on the blog: Lefschetz trace point formula. Soon there will appear various related index formulas and equivariant index formulas.
I should tell in advance: the usual Lefschetz formulas are for the traces for one mapping; the equivariant ones are for family index by elements of a group. So it is not a number but a numbered valued function on the group. Thus we are arriving to a character. How now about the case when the group is categorified and we have categorified traces ? In that case we should formulate an appropriate ellipticity notion for a complex of operators on 2-bundles, and come after a categorified index formula. And then to get the G-equivariant version for G a 2-group. Some good kantization formulas should come from index formulas of that kind. By transgression, of course, it should be related to ideas like index formula on loop space, like Witten's index theorem; and eventually also to elliptic cohomology. Right ?
Edit: yet another thing are anomalies. We took some formulation of anomaly cancellation directly from geometric condition on equipping the space with a particular structure, which then boils down to lift and voila some (nonabelian) obstruction. But originally one looks at amplitudes in QFT, does various standard things to them like zeta function regularization and finds obstruction from there. This took some development in works of Alvarez-Gaume, Jackiw, Stora, Witten and so on, with the role of the geometry of determinant line bundle emphasised by Quillen, Atiyah-Singer, Freed...We did not really go to these origins, and we should I think.
mirror symmetry (needs more well chosen references, I am runnning out of time and will be busy next few days; there are hundereds of references available so we should choose important and/or well written ones)
Over in another thread, David Roberts asks for explanation of a bunch of terms in QFT (here).
In reaction I have started a minimum of explanation for one more item in the list: hidden sector.
Edit to: soft supersymmetry breaking term by Urs Schreiber at 2018-04-01 01:06:08 UTC.
Author comments:
renamed from plural to singular
Page created: soft supersymmetry breaking terms by Urs Schreiber at 2018-04-01 01:05:41 UTC.
Author comments:
stub entry, recording a textbook reference
Edit to: Ángel Uranga by Urs Schreiber at 2018-04-01 01:00:59 UTC.
Author comments:
added pointer to string pheno textbook
Edit to: Luis Ibáñez by Urs Schreiber at 2018-04-01 01:00:18 UTC.
Author comments:
added pointer to string pheno textbook
Edit to: D6-brane by Urs Schreiber at 2018-04-01 00:53:41 UTC.
Author comments:
hyperlinked pointer to textbook by Ibaney-Uranga
Edit to: Taub-NUT space by Urs Schreiber at 2018-04-01 00:53:00 UTC.
Author comments:
hyperlinked pointer to textbook by Ibaney-Uranga
Page created: String Theory and Particle Physics – An Introduction to String Phenomenology by Urs Schreiber at 2018-04-01 00:47:49 UTC.
Author comments:
a category:reference entry for the textbook by Ibanez-Uranga,
Page created: bullet cluster by Urs Schreiber at 2018-03-31 00:53:25 UTC.
Author comments:
Page created: proof of the prime number theorem by Todd Trimble at 2018-03-31 00:45:16 UTC.
Author comments:
New page which gives the details of the proof of the prime number theorem, as extracted from Zagier (after Newman), but less compressed.
stub at pseudo-extranatural transformation.
On the orthogonal group page, there is a table of πi(SO(n)) for 1≤i≤12 and 2≤n≤12. The reference given is the Encyclopedic Dictionary of Mathematics which actually has a table which goes up to i=15 and n=17. In a comment to my last MO question, David Roberts suggested that I add these additional groups to the table. I am happy to do this, but as the person who created the table used the same resource, they made a decision to stop at i=12 and n=12; maybe there was a good reason for this.
Should I expand the table or is it fine as is?
Created elegant Reedy category.
Added to simple group an example I was given on MO: the simple group of cardinality κ, given by taking the smallest normal subgroup of Aut(κ) containing the 3-cycles. This is essentially the ’even’ permutations for an infinite set.
This is nice, because I was trying to think of a simple group (or one with only small normal subgroups) with inaccessible cardinality, and some obvious tricks weren’t working.
I decided to make my first contributions to the nLab, so am following the request, and saying what I did here.
I fixed a typo in the definition of composition of correspondences. It is now a little unclear, so I also started a new page, internal tensor product (the link was already there, just no page). I’ll try to add some details tomorrow when I have time.
started a minimum at Loday-Quillen-Tsygan theorem. Added the brief statement also to the Properties-section of related entries: general linear Lie algebra, Lie algebra homology and cyclic homology
Has anyone developed models for the homotopy theory of Hℚ.module spectra over rational topological spaces a bit?
I expect there should be a model on the opposite category of dg-modules over rational dg-algebras. Restricted to the trivial modules it should reduce to the standard Sullivan/Quillen model of rational homotopy theory. Restricted to the dg-modules over ℚ it should reduce to the standard model for the homotopy theory of rational chain complexes, hence equivalently that of Hℚ-module spectra.
Is there any work on this?
I added to endomorphism the observation that in a cartesian monoidal category, if an internal endomorphism monoid End(c) exists and is commutative, then c is subterminal.
Added the following to the page on the Gray tensor product:
The Gray tensor product as the left Kan extension of a tensor product on the full subcategory Cu of 2Cat is on page 16 of
Since I’m really new at this, feel very free to give advice or corrections, thanks, Keith
created homotopy Kan extension
this is to go along with the discussion at limit in a quasi-category that I am currently working on.
I have corrected and expanded my note (at 4-sphere: here) of the result of Roig-Saralegi 00, p. 2 on minimal rational dg-models of the following maps over S3
S4↓S3,AAS4//S1↓S3,AAS0↓S3induced from the “suspended Hopf action” of S1 on S4.
My aim in extracting this is to rename the generators given in Roig-Saralegi 00, p. 2 such as to make their degrees and their pattern more manifest. I hope I got it right now:
fibrationvector space underlyingminimal dg-modeldifferential onminimal dg-modelS4↓S3Sym•⟨h3⟩⊗⟨ω2p⏟deg=2p,f2p+4⏟deg=2p+4|p∈ℕ⟩d:{ω0↦0ω2p+2↦h3∧ω2pf4↦0f2p+6↦h3∧f2p+4S0↓S3Sym•⟨h3⟩⊗⟨ω2p⏟deg=2p,f2p⏟deg=2p|p∈ℕ⟩d:{ω0↦0ω2p+2↦h3∧ω2pf0↦0f2p+2↦h3∧f2pS4//S1↓S3Sym•⟨h3,f2⟩⊗⟨ω2p⏟deg=2p,f2p+4⏟deg=2p+4|p∈ℕ⟩d:{ω0↦0ω2p+2↦h3∧ω2pf2↦0f2p+4↦h3∧f2p+2added to Massey product a paragraph on their relation to A∞-algebras and a bunch of references on that relation
created Cahiers topos.
Do I understand correctly that this gadget is named after the journal that Dubuc’s original article appeared in? What a strange idea.
Created the bare minimum at limit spaces. I was surprised it was missing.
Currently, the page Tools for the advancement of objective logic says that the described paper discusses the “concrete particular”, but this paper does not discuss “concrete particular”.
[For context, Lawvere regards “concrete particular” as a category error, as he has stated elsewhere—basically to Lawvere, the abstract and the concrete are two aspects of a universal/general concept, and not to be discussed at the level of particulars. The passage from the particular to the universal/general is marked by choosing a subclass of observables about the particular as definitive—this generates the abstract general, and thence the concrete generals. The connection between the particulars and the concrete general comes from the fact that each particular can be observed in the ways specified by the abstract general, and that the abstract generals embed as representables into the concrete generals.]
To be precise, the 1994 paper talks about the particular, and then the abstract and concrete general.
However, I haven’t edited the page yet because I believe that in order to keep the nlab internally consistent, one may need to also update the page abstract general, concrete general and concrete particular; however, I am aware of a significant discussion elsewhere in the nforum, and I see that maybe some consensus was already reached there in favor of the notion of the “concrete particular”.
The latter page contains the nlab’s synthesis of these ideas which does not quite match Lawvere’s—which is generally fine, but I think we should be careful about attributing this interpretation to Lawvere himself (which we are in danger of doing in the page on the 1994 paper).
Do you all have any thoughts on how to proceed?
Created Henselian pair and linked to it from Henselian ring and Hensel’s lemma. Probably the definition could be given in more generality for topological rings. The existing definition seems to implicitly assume the discrete topology, since in that case, restricted formal power series are just polynomials, and that’s what appears in the definition I copied over from the Stacks Project.
Created lax F-natural transformation and lax F-adjunction in order to record the fact that F-categories give an abstract context in which to formulate Johnstone’s definition of fibration in a 2-category.
Added page store+comonad
I mostly just copied and pasted the state+monad page and added a reference.
created compact element
at sober space the only class of examples mentioned are Hausdorff spaces. What’s a good class of non-Hausdorff sober spaces to add to the list?
New page: colax/lax comma object
expanded universal colimits slightly
Created a stubby poset-valued set.
Over in another thread, David Roberts asks for explanation of a bunch of terms in QFT (here).
In further reaction I have started a minimum of explanation for one more item in the list: bottom-up and top-down model building.
I have tweaked the Idea-section at naturalness, and I added a pointer to the first decent discussion that I have seen: Clarke 17
I started two new entries: Gabriel-Ulmer duality and Lex.
I am running into the following simple question and am wondering if there is anything useful to be said.
Let
𝒜∈dgcAlgℚbe a differential graded-commutative algebra in characteristic zero, whose underlying graded algebra is free graded-commutative on some graded vector space V:
𝒜=(Sym(V),d).Consider an odd-graded element
c∈𝒜odd,and write (c) for the ideal it generates.
In this situation I’d like to determine whether it is true that
there is an inclusion 𝒜/(c)↪𝒜;
for every element ω∈𝒜 there is a decomposition
ω=ω0+cω1for unique ω0,ω1∈𝒜/(c)↪𝒜.
For example if c≠0∈Vodd↪𝒜odd↪𝒜 is a generator, then these conditions are trivially true.
On the other extreme, if c is the product of an odd number >1 of odd generators, then it is not true. For example if c=c1c2c3, with c1,c2,c3∈Vodd↪𝒜odd, then for instance c(1+c1)=c(1+c2)=c and so the coefficient ω1 is not unique.
Is there anything useful that one can say in general?
For purposes of linking, I had given an entry to decomposable differential form.
In more general ℕ-graded-commutative algebras than just that of differential forms, is there any established terminology for
0. elements that are sums of decomposables, i.e. sums of monomials in elements of degree 1?
What I’d really need is terminology for:
elements H of degree n+1 which split off at least one factor of degree 1, hence H=α⏟deg=1⋅β;
elements which are finite sums of these.
Is there anything?
just in order to be able to point to it, I created a stub for vector representation
Here is another stub: Albert algebra.
It would be nice to get a reference to clear up the number of (real) Albert algebras. John Baez's octonion paper, among other literature (including our Jordan algebra), takes it for granted that there is only one (which is true, over the complex numbers, but people are usually working over the real numbers). But John himself points out on a Wikipedia talk page that there are two (and that's what I followed).
We had a paragraph on split ocotnions buried in the entry composition algebra.
In order to be able to link to it, I have given that paragraph its own entry, now split octonions. But this deserves to be expanded of course.
Over in another thread, David Roberts asks for explanation of a bunch of terms in QFT (here).
Here I started a minimum of explanation for one item in the list: protection from quantum corrections.
at Bockstein homomorphism in the examples-section where it says
BnU(1)≃Bn+1ℤI have added the parenthetical remark
(which is true in ambient contexts such as ETop∞Grpd or Smooth∞Grpd)
Just to safe the reader from a common trap. Because it is not true in Top≃∞Grpd. The problem is that in all traditional literature the crucial distinction between Top and ETop∞Grpd (or similar) is often appealed to implicitly, but rarely explicitly. In Top≃∞Grpd we have instead BnU(1)≃K(U(1),n).
if you have been looking at the logs you will have seen me work on this for a few days already, so I should say what I am doing:
I am working on creating an entry twisted smooth cohomology in string theory . This is supposed to eventually serve as the set of notes for my lectures at the ESI Program K-Theory and Quantum Fields in the next weeks.
This should probably sit on my personal web, and I can move it there eventually. But for the moment I am developing it as an nLab entry because that saves me from prefixing every single wiki-link with
nLab:
Took a stab at a general formulation of Poisson summation formula, although the class of functions to which it is supposed to apply wasn’t nailed down (yet).
(Some of the ingredients of Tate’s thesis are currently on my mind.)
I have added the Fierz identities that give the S2-valued supercocycle in 5d here.
Added this briefly also at Fierz identity: here
This was long overdue: I have created a page lattice (disambiguation) and added corresponding warnings on terminology to the relevant entries.
In the course of this I have created stubs for lattice in a vector space, integral lattice and modular integral lattice.
wanted to record Borel’s theorem on Taylor series expansion, so created stubs for power series and Taylor series
At field (physics) I am beginning to write an actual introduction to the topic, now in a new section titled “A first idea of quantum fields”.
This means to introduce the concept with precise detail, but in a simple context (trivial and bosonic field bundles over Minkowski spacetime, perturbatively quantized) that allows to get a quick idea of the idea of the concept of (quantum) fields as such, without being distracted by other details.
So far I made it up to the derivation of the EOMs. Discussion of (deformation) quantization is to follow (maybe by tonight, depending on how much trouble I have with the trains) and I plan to sprinkle in the detailed example from scalar field in parallel with the abstract discussion.
started something at differential renormalization. More later
At dichotomy between nice objects and nice categories I added a quote from Deligne about allowing awful schemes gave a nice category of schemes. I can’t find the page I was thinking of where this dichotomy is also mentioned along with attribution of the general idea to Grothendieck. I wanted to add it there as well.
I created a stub entry for Hörmander topology, just to record some references.
The following seems to be waiting for somebody to answer it:
Consider the deformed Minkowski metric
ηε≔diag(−1+iε,1+iε,…,1+iε)for ε>0∈ℝ.Then consider the ε-deformed Feynman propagator ΔF,ε,Λ with momentum cut off with scale Λ.
The question: does the limit satisfy
ΔF=limε→0Λ→∞ΔF,ε,Λin the Hörmander topology for tempered distributions with wave front set contained in that of the genuine Feynman propagator ΔF?
I have given Polchinski’s flow equation its own entry (spin-off from effective quantum field theory)
I have written out the rigorous formulation of renormalization group flow and running coupling constants (currently both redirect to the same entry).
This is an exegesis of Brunetti-Dütsch-Fredenhagen 09, section 4.2 and 5.1 with clues from Dütsch 18, section 3.5.3; but I have tried to disentangle, in the writeup, the general principle from the specific case where the flow is induced by scaling transformations. (The latter is going to be written out at Gell-Mann-Low renormalization cocycle, but don’t look at that entry just yet).
Accordingly I tried to streamline presentation and notation, to make it all clear at a glance what is going on… but of course this may be in the eye of the beholder.
for ease of linking I have given antibracket its own little entry (it used to just redirect to BV-BRST complex).
I had also given local antibracket an little entry of its own. Possibly these two should be merged…