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.
I am giving this its own entry, not to drown it inside projective space
created factorization lemma
this is the bare statement of a Proposition, to be !include
-ed into the relevant entries, notably at diffeological space and at Delta-generated topological space
added briefly something to Ricci flow, amplifying that it is the gradient flow of the action functional of dilaton gravity (equivalently: the renormalization group flow of the string-sigma-model coupled to gravity and dilaton)
brief category:people
-entry for hyperlinking references at MSp and quaternionic oriented cohomology theory (and maybe eventually at quasitoric manifold)
brief category:people
-entry for hyperlinking references at MSp and at quaternionic oriented cohomology theory
brief category:people
-entry for hyperlinking references at quaternionic line bundle
started K3-spectrum (K3-cohomology)
added it to the chromatic tower examples - table
Created elementary embedding to record a proof that I learned from Nate Ackermann. The upshot is that Kunen's technical argument for the inconsistency of an e.e. , and its use of choice, is unnecessary if you merely care about definable e.e.'s.
wrote something at secondary characteristic class
I have created a page list of mathematics software with links to all the nLab pages I could find about software packages, and put all of those pages in category: software.
added a minimum to the old stub Bernoulli number
some minimum, for cross-linking with Sp(n).Sp(1)
long time ago (March last year) some Jonas Meyer added a very useful comment in a query box at the stub entry Gelfand spectrum, but apparently felt not sure about implementing things more directly. Maybe somebody find the energy to do so. Maybe me, maybe not.
I just noticed that Gelfand-Naimark theorem (together with a dozen of variants of spelling) used to be redirecting to Gelfand spectrum, which however had and has nothing to say about it. As a quick fix, I gave it its own entry now, with an absolute minimum of content. Needs expanding now. I also edited the pointers to this from the Properties-section at C*-algebra.
a brief entry on the result of
for ease of cross-linking in other entries (such as MSU, K3, CY)
brief category:people
-entry for hyperlinking references at Conner-Floyd Chern class
brief category:people
-entry for hyperlinking references at Conner-Floyd Chern class
brief category:people
-entry for hyperlinking references at SU-bordism theory and at Calabi-Yau manifold
brief category:people
-entry for hyperlinking references at SU-bordism theory and at Calabi-Yau manifold
brief category:people
-entry for hyperlinking references at SU-bordism theory and at Calabi-Yau manifold
added flavours of cobordism cohomology theories – table
will include this floating TOC now more comprehensively to pertinent entries…
Am splitting this off from complex oriented cohomology theory. For the moment just collecting references
John Greenlees, Equivariant formal group laws and complex oriented cohomology theories, Homology Homotopy Appl. Volume 3, Number 2 (2001), 225-263 (euclid:hha/1139840255)
Michael Cole, John Greenlees, Igor Kriz, The universality of equivariant complex bordism, Math Z 239, 455–475 (2002) (doi:10.1007/s002090100315)
How about equivariant elliptic cohomolgy? When is it equivariantly complex orientable?
brief category:people
-entry for hyperlinking references at equivariant bordism homology theory
started a minimum for integral Steenrod square
added this pointer on relation of divisors to complex cobordism cohomology:
Burt Totaro, Torsion algebraic cycles and complex cobordism, J. Amer. Math. Soc. 10 (1997), 467-493 (doi:10.1090/S0894-0347-97-00232-4)
cross-linked with greatest common divisor
I started splitting off elliptic genus from Witten genus but got interrupted. So currently it’s essentially just a stub.
Brief category:people
-entry for hyperlinking references at equivariant elliptic genus and elsewhere
added pointer to the recent
brief category:people
-entry for hyperlinking references at elliptic curve
gave formal Picard group its own brief entry. Mainly I wanted to record the pointer to the lecture notes now given there.