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.
This entry to record the classical theorem 6.1 from
based on
I have a question:
The definition of the wedge product which they use (highlighted here) does not include the usual normalization factor of 1/2.
Question: If with this normalization we look at the quasi-isomorphism between the Sullivan model and the algebra of polynomial differential forms, do we pick up a relative factor of 2 (or 1/2) for each wedge factor?
I’ll ask the same question specialized to an explicit example in the next comment…
started Euler class
That was a memorable conference. The site is superb, but I remember the humidity in the accomodation which was further north along the lake. There was a second Como conference later. The maths was excellent as well!
gave this a brief page, for clarifying links at Gromoll-Meyer sphere and elsewhere. This page may need to become a disambiguation page. For the moment there is just one meaning of “biquotient” spelled out
Created anafunction.
Added links to Lindenbaum number and Hartogs number
added pointer to today’s
a bare minimum at round sphere, for the moment just so that links for that term point somewhere
made squashed sphere a redirect, for the moment
for completeness, to go with the other items in coset space structure on n-spheres – table
Stub for a recent paper by Lurie, Elliptic Cohomology I.
for completeness, to go with the other entries in coset space structure on n-spheres – table
I have added pointer to
to the entries 7-sphere, ADE classification, Freund-Rubin compactification.
This article proves the neat result that the finite subgroups of such that is smooth and spin and has at least four Killing spinors has an ADE classification. The s are the the “binary” versions of the symmetries of the Platonic solids.
I wrote something at meaning explanation, but I didn’t add any links to it yet because I’m hoping to get some feedback from type theorists as to its correctness (or lack thereof).
added to pure type system in the Idea-section the statement
In other words a pure type system is
a system of natural deduction
with dependent types
and with the dependent product type formation rule.
and to the Related concepts-Section the paragraph
Adding to a pure type sytstem
rules for introduing inductive types
possibly a type of types hierarchy
makes it a calculus of inductive constructions.
Finally I added to the References-section a pointer to these slides
brief category:people
-entry for hyperlinking references at differential geometry, smooth manifold, Gauss-Bonnet theorem, Euler form and elsewhere
Jonas Frey has raised the question of the notation in the entry for simplex category. I would go along with his choice of notation as it is the one I use myself. (I was surprised to see another convention being used.)
At Fréchet space I have added to the Idea-section a paragraph motivating the definition via families of seminorms from the example of . And I touched the description of this example in the main text, now here.
cleared this duplicate entry, merging it (and all its redirects) into hyperkähler manifold
added in CW-complex in the Examples section something about noncompact smooth manifolds.
Eventually it would be good to state here precisely Milnor’s theorem etc. Googling around I seem to see a lot of misleading imprecision in the usual statements along these lines (on Wikipedia and MO) concerning the distinctions between countably generated and general CW-complexes and concerning homotopy equivalence vs weak homotopy equivalence.
brief entry to go with the list of experiments, and to record today’s
I have expanded a bit at bilinear map, trying to add a pedagigical comment on the difference to a group homomorphism
created this page in connection with topology - countability axioms.
Created page in connection with open covers of metric spaces have open countably locally discrete refinements.
Created this page in connection with topology - countability axioms.