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.
Just some definitions from Higher Algebra:
with some pointers to infinity-algebra over an (infinity,1)-operad, etc. Also to microcosm principle (more on that in a moment).
added to the Properties-section of reflective (infinity,1)-subcategory the statement and detailed proof of the fact that reflective (oo,1)-subcategories are precisely the full subcategories on local objects.
This proof is really not specific to (oo,1)-categories and parallels a corresponding proof for 1-categories essentially verbatim. A similar 1-categorical proof I had once typed into geometric embedding. I should really copy either one of these versions to reflective subcategory.
I just learned about rigidification and decided to record it somewhere.
I’m not sure if the title is good, because there is the notion of the rigidification of quasi-categories.
Surely this notion has a higher analogue that maybe someone knows more about. Surely you could take an n-stack and consider the n-categorical fiber product to make a notion of inertia, and then rigidify with respect to some subgroup object inside…
Added to reduced scheme a characterization of reducedness by the internal language of the corresponding sheaf topos: A scheme X is reduced iff its structure ring 𝒪X is a residue field in the internal sense of Sh(X).
created a table
infinity-CS theory for binary non-degenerate invariant polynomial - table
adapted from
and included it into the relevant entries
I filled a general-abstract definition into Lie differentiation. Mainly I took the key points from the beginning of Formal moduli problems and reviewed them a notation somewhat more streamlined to Lie-theoretic reasoning. Then I added an indicaton of how differential cohesion fits in. More should be added to the entry.
I’ll see how much time and energy I have left.
Just in case you see this in the Recently Revised-announcement and are wondering:
I was beginning to extract the key steps in the construction of the (∞,2)-category of A∞-algebras and A∞-bimodules internal to a suitable monoidal ∞-category that is in section 4.3 of Higher Algebra.
I have strated to make some notes in this direction at bimodule – Properties – (∞,2)-category of bimodules and at bilinear map – For ∞-modules.
But this is taking more work than I thought and I need to postpone this until next week (and change my plans for our seminar tomorrow…). Therefore for the moment this material sits there “under construction”. Please take that into account if you look at it at all.
(On the other hand, if anyone feels like lending a hand in completing this, I’d sure be happy about it. I’ll come back to this later this week).
I am constructing a table
structure on algebras and their module categories - table
and am including it into the relevant entries. This is a bit experimental for the moment. More details and variants should be added and maybe some of the relations stated in a better way. Help is appreciated.
I find the concept-formation for 2-rings in
particularly clear-sighted. Among other things it improves on the rationale for considering associative algebras as 2-modules/2-vector spaces and sesquialgebras as 2-rings/3-modules/3-vector spaces.
Where Baez-Dolan defined a “2-rig” to be a compatibly monoidal cocomplete category, theses authors observe that one should require a bit more and define a 2-ring to be a compatibly monoidal presentable category. (This follows Jacob Lurie’s discussion, some of which is alluded to at Pr(infinity,1)Cat).
I have now written out some of the basic definitions and statements at 2-ring in a new subsection Compatibly monoidal presentable categories. I also re-organized the full Definition section a bit, adding a lead-in discussion.
I added some material to Puiseux series, notable the proof that for K algebraically closed of characteristic zero, they form the algebraic closure of the field of Laurent series K((x)). This is to be connected with a number of unwritten topics like Hensel’s lemma, Newton polygon, complete local ring, and others.
Meanwhile, I noticed that the term “local field” has, besides physics meanings, two closely related distinct mathematical meanings. One for which we have a page local field is (non-discrete) “locally compact Hausdorff topological field”, but another is “field of fractions of a complete DVR”. It’s somewhat strange that two such closely related but distinct concepts have the same name – a terrible source of confusion.
I found we needed an entry 2Mod such as to be able to say things like “a sesquialgebra is an algebra internal to 2Mod”.
So I started something.
started sesquialgebra
(It’s about time to add some material on how these are 3-modules/3-vector spaces. )
unmotivated stub for Henselian ring
created Gaussian probability distribution, just for completeness
stub for loop group
In End of V-valued functors, a construction is given for the end of a V-enriched functor, which references an adjunction between hom-sets and tensor products. But the article assumes only that the enrichment category V is only symmetric monoidal, not a closed monoidal, so by what right do we have this adjunction? I'm assuming that this is just an oversight and the additional assumption on V should be added (this seems to be what Kelly's book does), can you confirm?
have started an entry Renormalization and Effective Field Theory on Kevin Costello’s book
the term topological subspace used to redirect to the general-purpose entry subspace. I have now instead made it redirect to subspace topology and pointed to there from subspace.
(Also, at subspace I have removed a sentence which claimed that “On the nLab we often say ’space’ to mean ’topological space’.” Because on the contrary, on the nLab we are dealing with general abstract mathematics and not just the small field of topology, and so we are being careful and don’t assume that “space” by default means “topological space”.)
stub for virtual particle, just for completeness
created volume, just for completeness
the entry monoidal functor did not state the axioms. I put them in.
I looked again after a long while at the entry manifold structure of mapping spaces, looking for the statement that for X a compact smooth manifold and Y any smooth manifold, the canonical Frechet structure on C∞(X,Y) coincides with the canonical diffeological structure.
So this statement wasn’t there yet, and hence I have tried to add it, now in Properties – Relation between diffeological and Frechet manifold structure.
To make the layout flow sensibly, I have therefore moved the material that was in the entry previously into its own section, now called Construction of smooth manifold structure on mapping space.
While re-reading the text I found I needed to browse around a good bit to see where some definition is and where some conclusion is. So I thought I’d equip the text more with formal Definition- and Proposition environments and cross-links between them. I started doing so, but maybe I got stuck.
Andrew, when you see this here and have a minute to spare: could you maybe check? I am maybe confused about how the {Pi} and {Qi} are to be read and what the index set of the charts of C∞(M,N) in the end is meant to be. For instance from what you write, what forbids the choice of {Pi} and {Qi} being the singleton consisting just of M and N itself, respectively?
felt the need to include the following table into various entries, so I created it as an Include-file action (physics) - table
In light of confusion about different possible meanings, I changed cartesian functor to be largely a disambiguation page. Feel free to object.
stub for moment, just for completeness
created stub for Wick's lemma, for the moment just so as to record a pointer to a reference
I have started another table: square roots of line bundles - table, and included it into relevant entries
One of the formalisms in variational calculus and in particular a formulation of classical mechanics (and also a version for geometrical optics, with eikonal in the place of principal function) is Hamilton-Jacobi equation which just got an entry.
Eventually, I would like to transform somehow the entry classical mechanics. Namely if we fill the sections which are there written but empty, it will grow beyond usability. I think apart from introduction, the entry should have passage between various formalisms. But the details on each formalism could be better on the separate page. Now the bulk of the entry is Poisson formalism which should be I think a separate entry. But it is not easy to engineer a good plan for this yet so let us continue adding material and we can transform the overall logic later. In any case, Hamilton-Jacobi formalims should be on equal footing with Hamiltonian formalism, Lagrangean formalism, Poisson formalism, Newton formalism etc. and some exotic structures like Nambu mechanics and Routhians should be mentioned and linked, in my opinion.
I have added some more pointers to work by Owen Gwillian on perturbation theory with factorization algebras to
I changed the definition at logical functor, as it said that such a thing was a cartesian functor that preserved power objects. The page cartesian functor says
A strong monoidal functor between cartesian monoidal categories is called a cartesian functor.
which really is only about finite products, not finite limits as Johnstone uses, which I guess is where the definition of logical functor was lifted from. So logical functor now uses the condition ’preserves finite limits’.
So I added a clarifying remark to cartesian functor that the definition there means finite-product-preserving, and that the Elephant uses a different definition.
However, people may wish to have cartesian functor changed, and logical functor put back how it was. I’m ok with this, but I don’t like the terminology cartesian (and I’m vaguely aware this was debated to some extent on the categories mailing list, so I am happy to go with whatever people feel strongest about).
New entry Helmut Hofer and changes or references at related entries like polyfold and Hofer’s geometry which also got a redirect Hofer geometry (which seems to be prevalent version these days).
Just a stub superdeterminant, aka Berezinian. Added a reference to quasideterminant and universal localization. Extended the list of related entries at matrix.
Recent topic of analytic continuation issues related to path integrals and the playing with complex analogues of action functionals got an entry: complex path integral.
It is clear that infinity-Chern-Weil theory will induce lots of examples of oo-Chern-Simons theory : for every Chern-Simons element on an ∞-Lie algebroid 𝔞, there is the corresponding generalized Chern-Simons action functional on the space of 𝔞-valued connections/forms.
I have started now listing all the familiar QFTs that are obtained as special cases this way. This is a joint project I am doing with Chris Rogers.
So I started that list with comments and proofs at Chern-Simons element and began creating auxiliary entries as the need was. So there are now some stubs on
(coupling these three yields the 2-Chern-Simons theory for the canonical invariant polynomial on a strict Lie 2-algebra !)
also did
(that entry was due a long time ago)
Created a category:reference-entry for
and linked to it from some relevant entries.
I started discussing the Chan-Paton gauge field and how it cancels the Kapustin-part of the Freed-Witten-Kapustin anomaly for the open string.
The technical ingredients are now all there, but I need to fill in more glue text to make this readable. Will do so, but might have to interrupt now. I ran a bit out of time here…
It just occurred to me that there is an immediate axiomatization of the Liouville-Poincaré 1-form (the canonical differential 1-form on a cotangent bundle) in differential cohesion.
In fact, it is the special case of a much more general notion: for A any type in differential cohesion the total space ∑X𝒪X(A) of the A-valued structure sheaf over any X carries a canonical A-cocycle.
For A=Ω1 the sheaf of 1-forms and X a manifold, this is the traditional Liouville-Poincaré 1-form on T*X.
I made a quick note on that at differential cohesion – Liouville-Poincaré cocycle.
Thanks to a conversation with Owen Gwilliam I now also understand how that construction gives the antibracket in the BV-BRST complex. I still need to write that out. Not today though.
quick note on Deligne tensor product of abelian categories
added References to Picard 3-group .
Just a comment, I mostly have seen k-invariant, with a lower case k. Does anyone have ‘strong’ feelings about this?
Since I found myself repeatedly referring to it from other nLab entries, I finally put some content into the entry extended Lagrangian.
I needed a Reference-entry for Freed’s old article Higher Algebraic Structures and Quantization, so I created one.
I am experimenting with a table
But I am still experimenting. I need a table with roughly the content as given there, but loads of things still need attention. The table itself omits some details even of that which it manifestly aims to display and doesn’t display at all yet what one might also list under its title.
Please be gentle to this stub for the moment. I need this for some lecture notes elsewhere and right now am only investing a few minutes into this, need to look into other things with higher priority for the moment. But of course eventually we should prettify this.
added briefly the definition to Einstein-Maxwell theory
stub for scalar curvature
I ended up creating brief entries
and cross-linked them a bit. But nothing much there yet.
created big bang
(really, I was just working on field (physics), which made me create scalar field, then inflaton, and now this. That’s how it goes.)
New stub hyperdeterminant (I was convinced we had it before, but…no).
I keep drawing and re-drawing that Whitehead tower again and again. That needs to stop. So I created now an entry with a table, to be included where needed: higher spin structure - table
created little entries
to go along with the previous entries
(whose nForum-discussion is here)
All of this is part of the cohesion - table.
started gauge field - table and included it into the relevant entries
quickly created formally smooth object.
Have to go offline now. More later.
New stub polylogarithm and many new links at dilogarithm.
Before I forget, I uploaded a new version of my anafunctors paper to my page David Roberts. In particular, the finer points have been made a lot tighter. I even use technical phrases such as ’enough groupoids’ and ’admits cotensors’! :) It has also been submitted for publication.