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.
Added:
The original result is due to Lurie:
A considerably simplified presentation is available in
at monadicity theorem in the second formulation of the theorem, item 3, it said
has
I think it must be
has
and have changed it accordingly. But have a look.
the entry group algebra had been full of notation mismatch and also of typos. I have reworked it now.
a bare list of references, to be !include
-ed into the References-sections of relevant entries (such as at qbit, quantum computation, nuclear magnetic resonance), for ease of synchronizing
starting something on isometric immersions
— mainly I was trying to track down a reference that would clearly state that orthonormal “adapted” or “Darboux” (co)frames (here) always exist locally for an immersion into a Riemannian manifold.
What I found so far is
Mastrolia, Rigoli & Setti 2012, p. 33, where this is claimed, but just in passing
and
Chen & Giron 2021, Thm. 2.2, where this is stated in the generality of sequences of immersions, which makes it hard to recognize the simple statement behind all the analytic fine-print.
created a bare minimum at harmonic map (for the moment just so as to have a place to record the reference given there)
added pointer to:
Added section In homotopy theory to nPOV.
This was written to go with this blog discussion. It's meant only as a first draft. Please have a look and improve!
Cross-linked with homotopy theory FAQ.
Added writing here
Mike Stay kindly added the standard QM story to path integral.
I changed the section titles a bit and added the reference to the Baer-Pfaeffle article on the QM path integral. Probably the best reference there is on this matter.
I am beginning to split off from fiber sequence an entry long exact sequence in homology (also splitting off all the related redirects, such as long exact sequence in cohomology etc).
added section about Bézout domains in constructive mathematics, most of the text copied from principal ideal domain
Anonymous
I added to field a mention of some other constructive variants of the definition, with a couple more references.
just so that hyperlinks work, I created stubs for Fourier-Laplace transform and also Laplace transform
The entry unit of an adjunction had a big chunk of mixed itex+svg code at the beginning to display an adjunction. On my machine though the output of that code was ill typeset. So I have removed the code and replaced it by plain iTex encoding of an adjunction.
(Just in case anyone deeply cares about the svg that was there. It’s still in the history. If it is preferred by anyone, it needs to be fixed first.)
In some thread here (which I seem to have lost) there was the open question of whether the Selberg zeta function is indeed the zeta function of the corresponding Laplace operator. The answer is of course Yes, I have added the following paragraph to zeta function of a Riemann surface:
That the Selberg zeta function is indeed proportional to the zeta function of a Laplace operator is due to (D’Hoker-Phong 86, Sarnak 87), and that it is similarly related to the eta function of a Dirac operator on the given Riemann surface/hyperbolic manifold goes back to (Milson 78), with further development including (Park 01). For review of the literature on this relation see also the beginning of (Friedman 06).
(the links will only work from within the entry)
a stub entry, for the moment just to satisfy links at matrix decomposition and at Gram-Schmidt process
expanded the discussion at equivariant homotopy theory
expanded the statement of the classical Elmendorf theorem
added the statement of the general Elmendorf theorem in general model categories
added remarks on G-equivariant oo-stacks, as special cases of this