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 have added some stuff about the consturction and the (fatal) non-functoriality of Moore spaces to Moore space. I know the page doesn’t look so good and the proof is somewhat sloppy, but I would still be happy if someone would take a look.
I added a more general definition to Calabi-Yau variety, in fact, the one I had in mind when I recently linked to it. I’m wondering if it is standard to call the first given definition a Calabi-Yau “variety” rather than Calabi-Yau “manifold” since it seems to assume the topology is the analytic one rather than Zariski which is not what the word variety evokes in my mind.
Also, there should be an exact algebraic definition so that when you take the analytification you get exactly the analytic definition. The conventions in the algebraic geometry literature vary a lot. For instance, I mostly see the vanishing cohomology condition that I wrote, but others merely assume trivial canonical bundle with no cohomological conditions. Some assume it must be simply connected. Some assume projective rather than proper. I’ve always been curious what the actual conditions to get a correspondence would be.
brief category:people
-entry for hyperlinking references at semi-holomorphic 4d Chern-Simons theory
brief category:people
-entry for hyperlinking references at string Lie 2-algebra and elsewhere
added the detailed definition to string Lie 2-algebra
started adding these kinds of references, but maybe this should eventually go in its own stand-alone entry:
A kind of 4d Chern-Simons theory intermediated between ordinary 3d Chern-Simons theory and compled 3d (hence real 6d) holomorphic Chern-Simons theory:
Kevin Costello, Edward Witten, Masahito Yamazaki, Gauge Theory and Integrability, II, ICCM Not. 6, 120-146 (2018) (arXiv:1802.01579)
Kevin Costello, Edward Witten, Masahito Yamazaki, Gauge Theory and Integrability, I, ICCM Not. 6, 46-119 (2018) (arXiv:1709.09993)
Meer Ashwinkumar, Meng-Chwan Tan, Qin Zhao, Branes and Categorifying Integrable Lattice Models (arXiv:1806.02821)
This is the adaptation of the page WebAssembly (zoranskoda) form my personal lab.
I have created a table-for-inclusion that means to list how all the M-branes transmute into all the “F-branes”, i.e. all the superstrings, D-branes and N5-branes.
Then I have included this table into some of the relevant entries.
At least the last column (duality to heterotic string theory) still needs to be filled in more.
This is adapted from the article rust (zoranskoda) in my personal lab.
The article is adapted from Telegram Open Network (zoranskoda)
I adapted the article high performance DLs (zoranskoda) into this Lab entry.
brief category:people
-entry for hyperlinking references at M2-M5 brane bound state
Added missing cross-link to order of a group
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